1. Pawel M. Idziak (1991). Decision Problem for Finite Equivalential Algebras. Bulletin of the Section of Logic 20 (1):7-9.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
    The aim of this paper is to characterize varieties of Heyting algebras with decidable theory of their finite members. Actually we prove that such varieties are exactly the varieties generated by linearly ordered algebras. It contrasts to the result of Burris [2] saying that in the case of whole varieties, only trivial variety and the variety of Boolean algebras have decidable first order theories.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Pawel M. Idziak (1983). A Finite Base for the Consequence Operation Determined by the Ring Z. Bulletin of the Section of Logic 12 (2):76-80.
    No categories
     
    My bibliography  
     
    Export citation