Switch to: Citations

References in:

Filter distributive logics

Studia Logica 43 (4):353 - 377 (1984)

Add references

You must login to add references.
  1. Matrices, primitive satisfaction and finitely based logics.Janusz Czelakowski - 1983 - Studia Logica 42 (1):89 - 104.
    We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be finitely based.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • Deducibility and many-valuedness.D. J. Shoesmith & T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (4):610-622.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
    The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (3 other versions)Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
    The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logic SCI and many others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • (2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • (1 other version)George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
    Two characterizations are given of those structural consequence operations on a propositional language which can be defined via proofs from a finite number of polynomial rules.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On distributivity of closure systems.Wojciech Dzik & Roman Suszko - 1977 - Bulletin of the Section of Logic 6 (2):64-66.
    Download  
     
    Export citation  
     
    Bookmark   5 citations