On Implicative and Positive Implicative GE Algebras

Andrzej Walendziak

doi:10.18778/0138-0680.2023.21

Authors

Andrzej Walendziak Siedlce University of Natural Sciences and Humanities, Faculty of Exact and Natural Sciences, Institute of Mathematics https://orcid.org/0000-0002-9866-0781

DOI:

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

Keywords:

GE algebra, tGE algebra, BCK algebra, Hilbert algebra, (positive) implicativity

Abstract

GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras
verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated. Connections between GE algebras and other classes of algebras of logic are studied. The implicative and positive implicative properties are discussed. It is shown that the class of positive implicative GE algebras (resp. the class of implicative aGE algebras) coincides with the class of generalized Tarski algebras (resp. the class of Tarski algebras). It is proved that for any aGE algebra the property of implicativity is equivalent to the commutative property. Moreover, several examples to illustrate the results are given. Finally, the interrelationships between some classes of implicative and positive implicative algebras are presented.

References

J. C. Abbott, Semi-boolean algebras, Matematički Vesnik, vol. 4(19) (1967), pp. 177–198.
Google Scholar

R. Bandaru, A. B. Saeid, Y. B. Jun, On GE-algebras, Bulletin of the Section of Logic, vol. 50(1) (2021), pp. 81–96, DOI: https://doi.org/10.18778/0138-0680.2020.20
Google Scholar DOI: https://doi.org/10.18778/0138-0680.2020.20

D. Bus˛neag, S. Rudeanu, A glimpse of deductive systems in algebra, Central European Journal of Mathematics, vol. 8(4) (2010), pp. 688–705, DOI: https://doi.org/10.2478/S11533-010-0041-4
Google Scholar DOI: https://doi.org/10.2478/s11533-010-0041-4

P. Cintula, C. Noguera, Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics, vol. 57 of Trends in Logic, Springer, Berlin (2010), DOI: https://doi.org/10.1007/978-3-030-85675-5
Google Scholar DOI: https://doi.org/10.1007/978-3-030-85675-5

A. Diego, Sur les algébras de Hilbert, vol. 21 of Collection de Logigue Mathématique, Serie A, Gauthier-Villars, Paris (1966).
Google Scholar

L. Henkin, An algebraic characterization of quantifilers, Fundamenta Mathematicae, vol. 37 (1950), pp. 63–74, URL: http://eudml.org/doc/213228
Google Scholar DOI: https://doi.org/10.4064/fm-37-1-63-74

A. Iorgulescu, New generalizations of BCI, BCK and Hilbert algebras – Part I, Journal of Multiple-Valued Logic and Soft Computing, vol. 27(4) (2016), pp. 353–406.
Google Scholar

A. Iorgulescu, New generalizations of BCI, BCK and Hilbert algebras – Part II, Journal of Multiple-Valued Logic and Soft Computing, vol. 27(4) (2016), pp. 407–456.
Google Scholar

K. Iséki, An algebra related with a propositional calculus, Proceedings of the Japan Academy, vol. 42 (1966), pp. 26–29, DOI: https://doi.org/10.3792/pja/1195522171
Google Scholar DOI: https://doi.org/10.3792/pja/1195522171

K. Iséki, S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica, vol. 23 (1978), pp. 1–26.
Google Scholar

Y. B. Jun, M. S. Kang, Fuzzifications of generalized Tarski filters in Tarski algebras, Computers and Mathematics with Applications, vol. 61 (2011), pp. 1–7, DOI: https://doi.org/10.1016/j.camwa.2010.10.024
Google Scholar DOI: https://doi.org/10.1016/j.camwa.2010.10.024

H. S. Kim, Y. H. Kim, On BE-algebras, Scientiae Mathematicae Japonicae, vol. 66(1) (2007), pp. 113–116, DOI: https://doi.org/10.32219/isms.66.1_113
Google Scholar

J. Kim, Y. Kim, E. H. Roh, A note on GT-algebras, The Pure and Applied Mathematics, vol. 16(1) (2009), pp. 59–69, URL: https://koreascience.kr/article/JAKO200910335351650.page
Google Scholar

Y. Komori, The class of BCC-algebras is not a variety, Mathematica Japonica, vol. 29(3) (1984), pp. 391–394.
Google Scholar

C. A. Meredith, Formal Logics, 2nd ed., Clarendon Press, Oxford (1962).
Google Scholar

A. Monteiro, Lectures on Hilbert and Tarski algebras, 2nd ed., Insitituto de Mathemática, Universuidad Nacional del Sur, Bahía Blanca, Argentina (1960).
Google Scholar

S. Tanaka, A new class of algebras, Mathematics Seminar Notes, vol. 3 (1975), pp. 37–43.
Google Scholar

A. Walendziak, On commutative BE-algebras, Scientiae Mathematicae Japonicae, vol. 69(2) (2009), pp. 281–284, DOI: https://doi.org/10.32219/ISMS.69.2_281
Google Scholar

A. Walendziak, The implicative property for some generalizations of BCK algebras, Journal of Multiple-Valued Logic and Soft Computing, vol. 31 (2018), pp. 591–611.
Google Scholar

A. Walendziak, The property of commutativity for some generalizations of BCK algebras, Soft Computing, vol. 23 (2019), pp. 7505–7511, DOI: https://doi.org/10.1007/s00500-018-03691-9
Google Scholar DOI: https://doi.org/10.1007/s00500-018-03691-9

A. Walendziak, On implicative BE algebras, Annales Universitatis Mariae Curie-Skłodowska, Sectio A, vol. 76 (2022), pp. 45–54, DOI: https://doi.org/10.17951/a.2022.76.2.45-54
Google Scholar DOI: https://doi.org/10.17951/a.2022.76.2.45-54

H. Yutani, On a system of axioms of commutative BCK-algebras, Mathematics Seminar Notes, vol. 5 (1977), pp. 255–256.
Google Scholar

D. Zelent, Transitivity of implicative aBE algebras, Annales Universitatis Mariae Curie-Skłodowska, Sectio A, vol. 76 (2022), pp. 55–58, DOI: https://doi.org/10.17951/a.2022.76.2.55-58
Google Scholar DOI: https://doi.org/10.17951/a.2022.76.2.55-58