Switch to: Citations

Add references

You must login to add references.
  1. A Finite Matrix Whose Set Of Tautologies Is Not Finitely Axiomatizable.Wieslaw Dziobiak - 1991 - Reports on Mathematical Logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
    In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations