Equational classes of relative Stone algebras
From MaRDI portal
Publication:2544392
DOI10.1305/NDJFL/1093894723zbMATH Open0212.01601OpenAlexW1964364843MaRDI QIDQ2544392FDOQ2544392
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
Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25)
Cited In (22)
- An algebraic approach to intuitionistic connectives
- Congruence quasi-orderability in subtractive varieties
- Varieties of BL-algebras. I, revisited
- On linear varieties of MTL-algebras
- Isomorphism Universal Varieties of Heyting Algebras
- Varieties of BL-algebras
- Title not available (Why is that?)
- Finitely subdirectly irreducible algebras with pseudocomplementation
- Semi-Heyting Algebras and Identities of Associative Type
- An algebraic study of S5-modal Gödel logic
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Linear Heyting algebras with a quantifier
- Varieties of BL-algebras. I: General properties.
- Free algebras in the variety of three-valued closure algebras
- Linear Logic Properly Displayed
- Gödel algebras: interactive dualities and their applications.
- Basic hoops: an algebraic study of continuous t-norms
- Decidability problem for finite Heyting algebras
- A study on some classes of distributive lattices with a generalized implication
- Model theory of Boolean products of subdirectly irreducible heyting algebras
- Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
- Semi-Heyting algebras term-equivalent to Gödel algebras
This page was built for publication: Equational classes of relative Stone algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2544392)