Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
    In the first section logics with an algebraic semantics are investigated. Section 2 is devoted to subdirect products of matrices. There, among others we give the matrix counterpart of a theorem of Jónsson from universal algebra. Some positive results concerning logics with, finite degrees of maximality are presented in Section 3.
    Download  
     
    Export citation  
     
    Bookmark   35 citations