Double Equivalential Algebras

Sławomir Przybyło

doi:10.18778/0138-0680.2026.15

Authors

Sławomir Przybyło University of the National Education Commission, Institute of Mathematics, Kraków, Poland Author

DOI:

https://doi.org/10.18778/0138-0680.2026.15

Keywords:

equivalential algebras, double Heyting algebras, linear order, semisimple

Abstract

In this paper, we introduce the notion of double equivalential algebras, defined as subreducts of double Heyting algebras with respect to the equivalence and dual equivalence operations. We establish the fundamental properties of these structures and investigate several distinguished classes related to them, including the class of double equivalential subreducts of Boolean algebras and the variety generated by the three-element chain, which is shown to be semisimple.

References

R. Beazer, Subdirectly irreducible double Heyting algebras, Algebra Universalis, vol. 10 (1980), pp. 220–224, DOI: https://doi.org/10.1007/BF02482903.

S. Burris, H. P. Sankappanavar, A Course in Universal Algebra, Springer (1981).

M. Dummett, A Propositional Calculus with Denumerable Matrix, The Journal of Symbolic Logic, vol. 24(2) (1959), pp. 97–106, DOI: https://doi.org/10.2307/2964753.

L. Esakia, Heyting Algebras: Duality Theory, Springer, Cham (2019).

A. L. Foster, A. F. Pixley, Semi-categorical algebras. II, Mathematische Zeitschrift, vol. 85(2) (1964), pp. 169–184.

S. Ghilardi, Free Heyting algebras as bi-Heyting algebras, C. R. Math. Rep. Acad. Sci. Canada, vol. 14(6) (1992), pp. 240–244.

K. Gödel, Zum Intuitionistischen Aussagenkalkül, Anzeiger der Akademie der Wissenschaften in Wien, vol. 69 (1932), pp. 65–66.

J. Hagemann, On regular and weakly regular congruences, preprint no. 75, TH Darmstadt (1973).

P. Idziak, K. Słomczyńska, A. Wroński, Fregean varieties, International Journal of Algebra and Computation, vol. 19(05) (2009), pp. 595–645, DOI: https://doi.org/10.1142/S0218196709005251.

P. M. Idziak, K. Słomczyńska, A. Wroński, The commutator in equivalential algebras and Fregean varieties, Algebra universalis, vol. 65(4) (2011), pp. 331–340, DOI: https://doi.org/10.1007/s00012-011-0133-4.

L. Iturrioz, Sur les algèbres de Heyting-Brouwer, Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., vol. 24(8) (1976), pp. 551–558.

J. K. Kabziński, A. Wroński, On equivalential algebras, [in:] Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington, Indiana, IEEE Comput. Soc., Long Beach (1975), pp. 419–428.

P. Köhler, A subdirectly irreducible double Heyting algebra which is not simple, Algebra Universalis, vol. 10 (1980), pp. 189–194, DOI: https://doi.org/10.1007/BF02482901.

A. I. Mal’cev, The Metamathematics of Algebraic Systems: Collected Papers: 1936–1967, North-Holland Publishing Co. (1971).

S. Przybyło, Equivalential algebras with conjunction on the regular elements, Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica, vol. 20 (2021), pp. 63–75, DOI: https://doi.org/10.2478/aupcsm-2021-0005.

S. Przybyło, K. Słomczyńska, Free Finitely Generated Linear Hilbert Algebras with Supremum, Journal of Multiple-Valued Logic and Soft Computing, vol. 29(1-2) (2017), pp. 135–156.

S. Przybyło, K. Słomczyńska, Equivalential Algebras with Conjunction on Dense Elements, Bulletin of the Section of Logic, vol. 51(4) (2022), pp. 535–554, DOI: https://doi.org/10.18778/0138-0680.2022.22.

S. Przybyło, K. Słomczyńska, Free Spectra of Equivalential Algebras with Conjunction on Dense Elements, Bulletin of the Section of Logic, vol. 53(3) (2024), pp. 399–418, DOI: https://doi.org/10.18778/0138-0680.2024.08.

H. Rasiowa, R. Sikorski, The mathematics of metamathematics, vol. 41, PWN, Warszawa (1963).

C. Rauszer, Representation theorem for semi-Boolean algebras. I, Bulletin de l’Academie Polonaise des Sciences. Serie des Sciences Mathematiques, Astronomiques et Physiques, vol. 19 (1971), pp. 881–887.

C. Rauszer, Representation theorem for semi-Boolean algebras. II, Bulletin de l’Academie Polonaise des Sciences. Serie des Sciences Mathematiques, Astronomiques et Physiques, vol. 19 (1971), pp. 889–892.

H. P. Sankappanavar, Heyting algebras with dual pseudocomplementation,Pacific Journal of Mathematics, vol. 117(2) (1985), pp. 405–415.

K. Słomczyńska, Personal communication.

K. Słomczyńska, Equivalential algebras. Part I: representation, Algebra Universalis, vol. 35(4) (1996), pp. 524–547, DOI: https://doi.org/10.1007/BF01243593.

K. Słomczyńska, Free spectra of linear equivalential algebras, The Journal of Symbolic Logic, vol. 70(4) (2005), pp. 1341–1358, DOI: https://doi.org/10.2178/jsl/1129642128.

K. Słomczyńska, Algebraic semantics for the (↔,¬) -fragment of IPC and its properties, Mathematical Logic Quarterly, vol. 63(3–4) (2017), pp. 202–210, DOI: https://doi.org/10.1002/malq.201600046.

C. J. Taylor, Discriminator varieties of double-Heyting algebras, Reports on Mathematical Logic, vol. 51 (2016), pp. 3–14, DOI: https://doi.org/10.4467/20842589RM.16.001.5278.

C. J. Taylor, Double Heyting Algebras, Ph.D. thesis, La Trobe University (2017).

C. J. Taylor, Expansions of Dually Pseudocomplemented Heyting Algebras,Studia Logica, vol. 105 (2017), pp. 817–841, DOI: https://doi.org/10.1007/s11225-017-9712-5.