Switch to: Citations

Add references

You must login to add references.
  1. Some remarks on the consequence operation in sentential logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
  • A theorem of the degree of complexity of some sentential logics.Jacek Hawranek & Jan Zygmunt - 1980 - Bulletin of the Section of Logic 9 (2):67-69.
    x1. This paper is a contribution to matrix semantics for sentential logics as presented in Los and Suszko [1] and Wojcicki [3], [4]. A generalization of Lindenbaum completeness lemma says that for each sentential logic there is a class K of matrices of the form such that the class is adequate for the logic, i.e., C = CnK.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation