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

DOI10.1515/MS-2023-0099arXiv2210.10387MaRDI QIDQ6180422FDOQ6180422

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

Publication date: 19 January 2024

Published in: Mathematica Slovaca (Search for Journal in Brave)

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}$.

Full work available at URL: https://arxiv.org/abs/2210.10387

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

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)