Switch to: References

Add citations

You must login to add citations.
  1. Three-elemnt non-finitely axiomatizable matrices and term-equivalence.Katarzyna Pałasińska - 2014 - Logic and Logical Philosophy 23 (4):481-497.
    It was shown in [5] that all two-element matrices are finitely based independently of their classification by term equivalence. In particular, each 2-valued matrix is finitely axiomatizable. We show below that for certain two not finitely axiomatizable 3-valued matrices this property is also preserved under term equivalence. The general problem, whether finite axiomatizability of a finite matrix is preserved under term-equivalence, is still open, as well as the related problem as to whether the consequence operation of a finite matrix is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
    It is shown that the class of reduced matrices of a logic is a 1 st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
    After some motivating remarks in Section 1, in Section 2 we show how to replace an axiomatic basis for any one of a broad range of sentential logics having finitely many axiom schemes and Modus Ponens as the sole proper rule, by a basis with the same axiom schemes and finitely many one-premiss rules. Section 3 mentions some questions arising from this replacement procedure , explores another such procedure, and discusses some aspects of the consequence relations associated with the different (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations