BCK and BCI logics, condensed detachment and the $2$-property [Book Review]

Notre Dame Journal of Formal Logic 34 (2):231-250 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093634655

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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 two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
Condensed detachment as a rule of inference.J. A. Kalman - 1983 - Studia Logica 42 (4):443 - 451.
A simplified form of condensed detachment.M. W. Bunder - 1995 - Journal of Logic, Language and Information 4 (2):169-173.
On a property of BCK-identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.
Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
A Note on Freedom from Detachment in the Logic of Paradox.Jc Beall, Thomas Forster & Jeremy Seligman - 2013 - Notre Dame Journal of Formal Logic 54 (1):15-20.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.

Analytics

Added to PP
2010-08-24

Downloads
34 (#474,174)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kurt Gödel on Logical, Theological, and Physical Antinomies.Tim Lethen - 2021 - Bulletin of Symbolic Logic 27 (3):267-297.
Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
Propositional glue and the projection architecture of LFG.Avery D. Andrews - 2010 - Linguistics and Philosophy 33 (3):141-170.
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 191--205.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references