Equational classes of relative Stone algebras
From MaRDI portal
Publication:2544392
DOI10.1305/ndjfl/1093894723zbMath0212.01601OpenAlexW1964364843MaRDI QIDQ2544392
Publication date: 1972
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894723
Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05)
Related Items
Linear Logic Properly Displayed, Congruence quasi-orderability in subtractive varieties, Semi-Heyting algebras term-equivalent to Gödel algebras, Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras, An algebraic approach to intuitionistic connectives, Varieties of BL-algebras. I, revisited, Finitely subdirectly irreducible algebras with pseudocomplementation, Decidability problem for finite Heyting algebras, Gödel algebras: interactive dualities and their applications., Basic hoops: an algebraic study of continuous t-norms, Model theory of Boolean products of subdirectly irreducible heyting algebras, Linear Heyting algebras with a quantifier, Isomorphism Universal Varieties of Heyting Algebras, Unnamed Item, Varieties of BL-algebras. I: General properties., An algebraic study of S5-modal Gödel logic, On linear varieties of MTL-algebras, Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras, Semi-Heyting Algebras and Identities of Associative Type, Free algebras in the variety of three-valued closure algebras, Varieties of BL-algebras
