Switch to: References

Add citations

You must login to add citations.
  1. Roman Suszko (1919–1979): A bibliography of the published work with an outline of his logical investigations.Jan Zygmunt & Mieczysław Omyła - 1984 - Studia Logica 43 (4):421 - 441.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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