Studia Logica 65 (1):31-51 (2000)

Abstract
In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples
Keywords BCK algebras  chains  linearization  algebraizable logic
Categories (categorize this paper)
DOI 10.1023/A:1005290924926
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,823
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
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):40-65.
For Want of an 'And': A Puzzle About Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.

View all 6 citations / Add more citations

Similar books and articles

On a Property of BCK-Identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
The Number of Proofs for a BCK-Formula.Yuichi Komori & Sachio Hirokawa - 1993 - Journal of Symbolic Logic 58 (2):626-628.
BCK and BCI Logics, Condensed Detachment and the $2$-Property. [REVIEW]J. Roger Hindley - 1993 - Notre Dame Journal of Formal Logic 34 (2):231-250.
Early Examples of Resource-Consciousness.Victor Pambuccian - 2004 - Studia Logica 77 (1):81 - 86.
An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
Basic Properties of the Equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.

Analytics

Added to PP index
2009-01-28

Total views
26 ( #381,091 of 2,342,667 )

Recent downloads (6 months)
2 ( #332,871 of 2,342,667 )

How can I increase my downloads?

Downloads

My notes