Abstract
Formally, a description of weak BCK-algebras can be obtained by replacing (in the standard axiom set by K. Iseki and S. Tanaka) the first BCK axiom \({(x - y) - (x - z) \le z - y}\) by its weakening \({z \le y \Rightarrow x - y \le x - z}\) . It is known that every weak BCK-algebra is completely determined by the structure of its initial segments (sections). We consider weak BCK-algebras with De Morgan complemented, orthocomplemented and orthomodular sections, as well as those where sections satisfy a certain compatibility condition, and characterize each of these classes of algebras by an equation or quasi-equation. For instance, those weak BCK-algebras in which all initial segments are De Morgan complemented are just commutative weak BCK-algebras.
Similar content being viewed by others
References
Abbott J.C.: Semi-Boolean algebra. Matematichki Vesnik. New Series 19, 177–198 (1967)
Cīrulis J.: Implication in sectionally pseudocomplemented posets. Acta Scientiarum Mathematicarum (Szeged) 74, 477–491 (2008)
Cīrulis,J., Implications in sectionally galois-complemented posets, in A Talk at the Conference Topology, Algebra and Categories in Logic, Amsterdam, July 7–11, 2009 http://www.illc.uva.nl/tacl09/Contributed_Talks.htm.
Cīrulis J.: Subtraction-like operations in nearsemilattices. Demonstratio Mathematica 43, 725–738 (2010)
Cīrulis J.: Residuation subreducts of pocrigs. Bulletin of Symbolic Logic (Łódź) 39, 11–16 (2010)
Cīrulis,J., Quasi-orthomodular posets and weak BCK-algebras, Order, 2013, doi:10.1007/s11083-013-9309-1.
Cīrulis,J., On commutative weak BCK-algebras, arXiv:1304:0999.
Hedlíková J., Pulmannová S.: Generalized difference posets and orthoalgebras. Acta Mathematica Universitatis Comenianae. 65, 247–279 (1996)
Iseki,K., Topics of BCK-algebras, in Proceedings of the 1st Symposium Semigroups, Shimane University, 1977, pp. 44–56.
Iseki K., Tanaka Sh.: An introduction to the theory of BCK-algebras. Mathematica Japonica 23, 1–26 (1978)
Joshi V., Waphare B. N.: Characterizations of 0-distributive posets. Mathematica Bohemica 130, 73–80 (2005)
Kópka F., Chovanec F.: D-posets. Mathematica Slovaca 43, 21–34 (1994)
Meng J.: Implication algebras are dual to implicative BCK-algebras. Soochow Journal of Mathematics 22, 567–571 (1996)
Navara M., Pták P.: Difference posets and orthoalgebras. BUSEFAL 69, 64–69 (1997)
NoorA. S. A., BazlarRahman M. D.: Sectionally semicomplemented distributive nearlattices. Southeast Asian Bulletin of Mathematics 26, 603–609 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Jacek Malinowski
Rights and permissions
About this article
Cite this article
Cīrulis, J. On Some Classes of Commutative Weak BCK-Algebras. Stud Logica 103, 479–490 (2015). https://doi.org/10.1007/s11225-014-9575-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9575-y