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  
  • Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Three-element nonfinitely axiomatizable matrices.Katarzyna Pałasińska - 1994 - Studia Logica 53 (3):361 - 372.
    There are exactly two nonfinitely axiomatizable algebraic matrices with one binary connective o such thatx(yz) is a tautology of . This answers a question asked by W. Rautenberg in [2], P. Wojtylak in [8] and W. Dziobiak in [1]. Since every 2-element matrix can be finitely axiomatized ([3]), the matrices presented here are of the smallest possible size and in some sense are the simplest possible.
    Download  
     
    Export citation  
     
    Bookmark   3 citations