Results 21 to 27 of about 28 (27)

Locally finite varieties of Heyting algebras

Algebra Universalis, 2005
Guram Bezhanishvili, Revaz Grigolia, Bezhanishvili Guram   +2 more
exaly  

Effective categoricity for distributive lattices and Heyting algebras

Lobachevskii Journal of Mathematics, 2017
Nikolay Bazhenov, Bazhenov N A
exaly  

An exploration of weak Heyting algebras: Characterization and properties

International Journal of Approximate Reasoning
FRANCISCO Pérez-Gámez
exaly  

Frontal Operators in Weak Heyting Algebras

Studia Logica, 2012
Sérgio A Celani, Hernán J San Martín, Celani Sérgio A   +2 more
exaly  

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras

Theoretical Computer Science, 2013
exaly  

Strengthening Effect Algebras in a Logical Perspective: Heyting-Wajsberg Algebras

International Journal of Theoretical Physics, 2013
exaly  

Heyting Algebras with Operators

Mathematical Logic Quarterly, 2001
exaly