- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On congruence lattices of commutative BCK-algebras
Bulletin of the Section of Logic 8 (4):188-189 (1979)
Abstract
In this paper we prove that the congruence lattice of a commutative BCK-algebra is distributive. We know that a similar result has been achieved independently by T. Traczyk and A. Romanowska but the proof is quite differentOther Versions
No versions found
My notes
Similar books and articles
PC-lattices: A Class of Bounded BCK-algebras.Sadegh Khosravi Shoar, Rajab Ali Borzooei, R. Moradian & Atefe Radfar - 2018 - Bulletin of the Section of Logic 47 (1):33-44.
An example of the commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (4):163-165.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Bounded BCK-algebras and their generated variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Finitely generated ideals in directed commutative bck-algebra.Barbara Wozniakowska - 1980 - Bulletin of the Section of Logic 9 (4):166-169.
Some remarks on BCK-algebras.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (2):85-87.
Varieties of commutative BCK-algebras not generated by their finite members.Marek Palasinski - 1983 - Bulletin of the Section of Logic 12 (3):134-135.
Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals.Mohammad Hamidi - 2023 - Bulletin of the Section of Logic 52 (4):411-440.
Commutative Energetic Subsets of BCK-Algebras.Young Bae Jun, Eun Hwan Roh & Seok Zun Song - 2016 - Bulletin of the Section of Logic 45 (1).
Analytics
Added to PP
2015-02-02
Downloads
0
6 months
0
2015-02-02
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2