Results 141 to 149 of about 3,353 (149)

Profinite Completions and Canonical Extensions of Heyting Algebras

Order, 2006
Mai Gehrke
exaly  

The Universal Group of a Heyting Effect Algebra

Studia Logica, 2006
exaly  

Heyting Algebras

openaire   +1 more source

The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★

Journal of Applied Non-Classical Logics, 2006
exaly  

Expansions of Semi-Heyting Algebras I: Discriminator Varieties

Studia Logica, 2011
exaly  

Fatal Heyting Algebras and Forcing Persistent Sentences

Studia Logica, 2012
exaly  

Modal operators on Heyting algebras

Algebra Universalis, 1981
exaly  

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable

Studia Logica, 2012
exaly  

Sub-Post Algebras; Double Heyting Algebras

2017
openaire   +1 more source