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