Results 41 to 46 of about 4,395,218 (46)

Subdirectly irreducible double Heyting algebras

Algebra Universalis, 1980
R Beazer
exaly  

Subalgebras of Heyting and De Morgan Heyting Algebras

Studia Logica, 2011
exaly  

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

Theoretical Computer Science, 2013
exaly  

Heyting Algebras with Operators

Mathematical Logic Quarterly, 2001
exaly  

On a Generalization of Heyting Algebras I

Studia Logica
Majid Alizadeh, Amirhossein Akbar Tabatabai   +1 more
exaly  

BOOLEAN AND HEYTING ALGEBRAS: THE ESSENTIALS

2005
exaly