Results 131 to 140 of about 2,874 (140)

On Heyting Algebras with Negative Tense Operators

Studia Logica, 2023
exaly  

Heyting Algebras

2019
openaire   +1 more source

Locally finite varieties of Heyting algebras

Algebra Universalis, 2005
Revaz Grigolia
exaly  

Profinite Completions and Canonical Extensions of Heyting Algebras

Order, 2006
Mai Gehrke
exaly  

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

Theoretical Computer Science, 2013
Clint Van Alten
exaly  

Topo-canonical completions of closure algebras and Heyting algebras

Algebra Universalis, 2007
exaly  

Expansions of Semi-Heyting Algebras I: Discriminator Varieties

Studia Logica, 2011
exaly  

Heyting Algebras

openaire   +1 more source

Optimal natural dualities for varieties of Heyting algebras

Studia Logica, 1996
exaly  

Sub-Post Algebras; Double Heyting Algebras

2017
openaire   +1 more source