Ordered BCI-algebras, Y-kernels and (ordered) functions

Document Type : Research Paper

Authors

1 Department of Philosophy, Jeonbuk National University, Jeonju 54896, Korea

2 Department of Mathematics Education, Chinju National University of Education, Jinju 52673, Korea

3 Department of Mathematics Education Gyeongsang National University Jinju 52828, Korea

Abstract

The concept of kernels in ordered BCI-algebras was first introduced by Yang-Roh-Jun. This paper extends the concept to specific kernels, called here Y-kernels. To be more precise, two sorts of Y-kernels related to function were first introduced and the relations between them and between these Y-kernels and kernels were studied. Next, related to ordered function (and (ordered) homomorphism) the same relations are investigated.

Keywords

References

[1] K. Bimbó and J. M. Dunn, Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi, CSLI Publications, Stanford, 2008.
[2] P. Cintula,Weakly implicative (fuzzy) logics I: basic properties, Arch. Math. Log., 45 (2006),
673–704.
[3] P. Cintula and C. Noguera, Implicational (semilinear) logics I: a new hierarchy, Arch. Math.
Log., 49 (2010), 417–446.
[4] P. Cintula and C. Noguera, A general framework for mathematical fuzzy logic, P. Cintula,
P. Hájek and C. Noguera (eds.) Handbook of Mathematical Fuzzy Logic, vol. 1, College
Publications, London, (2011), 103-–207.
[5] P. Cintula and C. Noguera, Implicational (semilinear) logics III: completeness properties,
Arch. Math. Log., 57 (2018), 391–420.
[6] J. M. Dunn, Partial gaggles applied to logics with restricted structural rules, P. Schroeder-
Heister and K. Doˇsen, (eds.) Substructural Logics, Clarendon, Oxford, (1993), 63–108.
[7] J. M. Dunn and G. Hardegree, Algebraic Methods in Philosophical Logic, Oxford Univ Press,
Oxford, 2001.
[8] R. Jansana and T. Moraschini, Relational semantics, ordered algebras, and quantifiers for
deductive systems, manuscript, 2018.
[9] J. G. Raftery, Order algebraizable logics, Ann. Pure Appl. Logic, 164 (2013), 251–283.
[10] E. Yang and J. M. Dunn, Implicational tonoid logics: algebraic and relational semantics,
Log. Univers., 15 (2021), 435–456.
[11] E. Yang and J. M. Dunn, Implicational Partial Galois Logics: Relational semantics, Log.
Univers., 15 (2021), 457–476.
[12] E. Yang, E. H. Roh and Y. B. Jun, An introduction to the theory of OBCI-algebras, AIMS
Math., 9 (2024), 36336-36350.
[13] E. Yang, E. H. Roh and Y. B. Jun, Ordered homomorphisms and kernels of ordered BCIalgebras,
Kexue Tongbao/CSB, 69 (2025), 04.
[14] E. Yang, E. H. Roh and Y. B. Jun, Ordered maps and kernels of ordered BCI-algebras, J.
Algebra Relat. Top., (1) 13 (2025), 135-157.
Journal of Algebra and Related Topics
Volume 13, Issue 2
December 2025
Pages 1-13

Files

Share

How to cite

Statistics