On classification of commutative BCK-logics'

Bulletin of the Section of Logic 14 (1):30-32 (1985)
  Copy   BIBTEX

Abstract

A classification of commutative BCK-logics which is an analogon of Hosoi classification of intermediate logics is given in the paper

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
When can non‐commutative statistical inference be Bayesian?Miklós Rédei - 1992 - International Studies in the Philosophy of Science 6 (2):129-132.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Quasivarieties of cancellative commutative binary modes.K. Matczak & A. Romanowska - 2004 - Studia Logica 78 (1-2):321 - 335.
A study of intermediate propositional logics on the third slice.Tsutomu Hosoi & Isao Masuda - 1993 - Studia Logica 52 (1):15 - 21.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics.Misao Nagayama & Mitsuhiro Okada - 2001 - Journal of Symbolic Logic 66 (4):1524-1542.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
Dewey decimal classification for Indology: expansion and modification of Dewey decimal classification (18) for classifying Indological books with special reference to Indian philosophy and Indian religions.Sūraja Kānta Śarma - 1979 - New Delhi: Uppal.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.

Analytics

Added to PP
2013-10-30

Downloads
21 (#689,095)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references