- 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 classification of commutative BCK-logics'
Bulletin of the Section of Logic 14 (1):30-32 (1985)
Abstract
A classification of commutative BCK-logics which is an analogon of Hosoi classification of intermediate logics is given in the paperLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On ideals in directed commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (3):145-147.
An equational basis for commutative bck-algebras.Barbara Wozniakowska - 1981 - Bulletin of the Section of Logic 10 (3):108-111.
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
Commutative bck-algebras do not enjoy the interpolation property.Stanis law Zachorowski - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
On congruence lattices of commutative BCK-algebras.Marek Palasinski & Barbara Wozniakowska - 1979 - Bulletin of the Section of Logic 8 (4):188-189.
An example of the commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (4):163-165.
Negation and BCK‐algebras.Francisco García Olmedo & Antonio Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
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.
Analytics
Added to PP
2013-10-30
Downloads
21 (#730,767)
6 months
21 (#166,088)
2013-10-30
Downloads
21 (#730,767)
6 months
21 (#166,088)
Historical graph of downloads
Citations of this work
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
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-5pqs9 uwo