Regular double p-algebras: a converse to a Katriňák theorem and applications

DOI10.1515/MS-2023-0099MaRDI QIDQ6180422zbMATH OpenFDO

Authors Juan Manuel Cornejo, Michael K. Kinyon, Hanamantagouda P. Sankappanavar

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

zbMATH Keywords

and 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 double \(p\)-algebraregular dually pseudocomplemented Heyting algebraregular pseudocomplemented dual Heyting algebras

Mathematics Subject Classification ID

Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Generalizations of Boolean algebras (06E75) Lattices of varieties (08B15) Subdirect products and subdirect irreducibility (08B26)

Abstract: In 1973, Katriv{n}'{a}k proved that regular double $p$-algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication and its dual in terms of pseudocomplement and its dual. In this paper we prove a converse to the Katriv{n}'{a}k's theorem, in the sense that in the variety RDPCH of regular dually pseudocomplemented Heyting algebras, the implication operation $o$ satisfies the Katriv{n}'{a}k's formula. As applications of this result together with the above-mentioned Katriv{n}'{a}k's theorem, we show that the varieties RDBLP, RDPCH, RPCH${}^d$ and RDBLH of regular double $p$-algebras, regular dually pseudocomplemented Heyting algebras, regular pseudocomplemented dual Heyting algebras, and regular double Heyting algebras, respectively, are term-equivalent to each other and also that the varieties RDMP, RDMH, RDMDBLH, RDMDBLP of regular De Morgan $p$-algebras, regular De Morgan Heyting algebras, regular De Morgan double Heyting algebras, and regular De Morgan double $p$-algebras, respectively, are also term equivalent to each other. From these results and recent results of Adams, Sankappanavar and vaz de Carvalho, we deduce that the lattices of subvarieties of all these varieties have cardinality $2^{alep{h}_0}$. We then define new logics, RDPCH, RPCHd, and RDMH, and show that they are algebraizable with RDPCH, RPCH${}^d$ and RDMH, respectively as their equivalent algebraic semantics. It is also deduced that the lattices of extensions of all of the above mentioned logics have cardinality $2^{alep{h}_0}$.

Cites work

• A regular variety of type \(<2,2,1,1,0,0>\)
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Algebras Whose Congruence Lattices are Distributive.
• An algebraic approach to non-classical logics
• Congruence properties of pseudocomplemented De Morgan algebras
• De Morgan semi-Heyting and Heyting algebras
• Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity
• Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras
• Functional completeness in pseudocomplemented De Morgan algebras
• Heyting Algebras with a Dual Lattice Endomorphism
• Heyting algebras with dual pseudocomplementation
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 5510319 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3280042 (Why is no real title available?)
• scientific article; zbMATH DE number 3060247 (Why is no real title available?)
• Lattices With Involution
• N-lattices and constructive logic with strong negation
• ON SOME EQUATIONAL CLASSES OF DISTRIBUTIVE DOUBLE P-ALGEBRAS
• Principal Congruences of Pseudocomplemented Demorgan Algebras
• Pseudocomplemented Okham and Demorgan Algebras
• Regular double p-algebras
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Semi-de Morgan algebras
• Subdirectly irreducible and free Kleene-Stone algebras
• Subdirectly irreducible pseudocomplemented De Morgan algebras
• The determination congruence on double p-algebras
• The semi Heyting-Brouwer logic
• The structure of distributive double p-algebras. Regularity and congruences
• Varieties of regular pseudocomplemented De Morgan algebras

Cited in

(3)

• Orthomodular and unsharp orthomodular lattices: a categorical equivalence
• Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation
• The amalgamation property in the variety of regular double stone algebras: a constructive view

This page was built for publication: Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180422)