Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
DOI10.1515/ms-2023-0099arXiv2210.10387MaRDI QIDQ6180422
Michael K. Kinyon, Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo
Publication date: 19 January 2024
Published in: Mathematica Slovaca (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.10387
regular double \(p\)-algebraand regular double Heyting algebralogic \(\mathcal{RDMH}\)logic \(\mathcal{RDPCH}\)logic \(\mathcal{RPCH}^d\)regular De Morgan \(p\)-algebrasregular De Morgan double \(p\)-algebrasregular De Morgan double Heyting algebrasregular De Morgan Heyting algebrasregular dually pseudocomplemented Heyting algebraregular pseudocomplemented dual Heyting algebras
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Equational classes, universal algebra in model theory (03C05) Subdirect products and subdirect irreducibility (08B26) Generalizations of Boolean algebras (06E75)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The semi Heyting-Brouwer logic
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Heyting algebras with dual pseudocomplementation
- Functional completeness in pseudocomplemented De Morgan algebras
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- An algebraic approach to non-classical logics
- The determination congruence on double p-algebras
- Subdirectly irreducible and free Kleene-Stone algebras
- The structure of distributive double p-algebras. Regularity and congruences
- Varieties of regular pseudocomplemented De Morgan algebras
- A regular variety of type \(<2,2,1,1,0,0>\)
- Congruence properties of pseudocomplemented De Morgan algebras
- N-lattices and constructive logic with strong negation
- Pseudocomplemented Okham and Demorgan Algebras
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Semi-de Morgan algebras
- Heyting Algebras with a Dual Lattice Endomorphism
- Algebraizable logics
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- ON SOME EQUATIONAL CLASSES OF DISTRIBUTIVE DOUBLE P-ALGEBRAS
- Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras
- Regular double p-algebras
- De Morgan Semi-Heyting and Heyting Algebras
- Algebras Whose Congruence Lattices are Distributive.
- Lattices With Involution
