Results 101 to 110 of about 3,353 (149)
ULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS [PDF]
, 2020 Yamamoto, Kentarô, Ph.D.
core
Algebraic axiomatization of tense intuitionistic logic
Open Mathematics, 2011 Chajda Ivan
doaj +1 more source
Splitting monadic heyting algebras
Splitting monadic heyting algebrasリサーチレポート（北陸先端科学技術大学院大学情報科学研究科） 本文は図書館に配架されています。 / This material is stored in the JAIST library.
openaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Order, 2008
A Heyting algebra \(A\) is called completely join-prime generated if every element of \(A\) is a join of completely join-prime elements of \(A\). Theorem 2.12 of this paper characterizes complete and completely join-prime generated Heyting algebras in two different ways.
Bezhanishvili, G., Bezhanishvili, N.
openaire +4 more sources
A Heyting algebra \(A\) is called completely join-prime generated if every element of \(A\) is a join of completely join-prime elements of \(A\). Theorem 2.12 of this paper characterizes complete and completely join-prime generated Heyting algebras in two different ways.
Bezhanishvili, G., Bezhanishvili, N.
openaire +4 more sources
Profinite Heyting Algebras and Profinite Completions of Heyting Algebras
gmj, 2009Abstract This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras).
Bezhanishvili, Guram +1 more
openaire +4 more sources