- 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
Some remarks on BCK-algebras
Bulletin of the Section of Logic 9 (2):85-87 (1980)
Abstract
This is an abstract of the paper presented at the seminar held by prof. A. Wronski at the Jagiellonian University. It was announced in [1] that T. Traczyk showed that any commuta- tive BCK-algebra such that any two elements have an upper bound is a distributive lattice. In this paper we give a generaliMy notes
Similar books and articles
On congruence lattices of commutative BCK-algebras.Marek Palasinski & Barbara Wozniakowska - 1979 - Bulletin of the Section of Logic 8 (4):188-189.
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.
Some remarks on wmv-algebras.Kazimiera Dyrda - 1983 - Bulletin of the Section of Logic 12 (2):55-61.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
On a problem on BCK-algebras.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (2):93-94.
Ideals in BCK-algebras which are lower semilattices.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (1):48-50.
An example of the commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (4):163-165.
The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
Finitely generated ideals in directed commutative bck-algebra.Barbara Wozniakowska - 1980 - Bulletin of the Section of Logic 9 (4):166-169.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
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.
Citations of this work
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
Basic hoops: An algebraic study of continuous T -norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
Formal systems of fuzzy logic and their fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
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-6686886f5-xdvnm uwo