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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
A result on propositional logics having the disjunction property.Robert E. Kirk - 1982 - Notre Dame Journal of Formal Logic 23 (1):71-74.
BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Special issue on combining logics, volume 37 (2) of.M. de Rijke & P. Blackburn - forthcoming - Notre Dame Journal of Formal Logic.
BCI-algebras from the point of view of logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):126-128.
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.
Rolf Schock. On probability logics. Notre Dame journal of formal logic, vol. 6 no. 2 , pp. 129–134.Peter Krauss - 1969 - Journal of Symbolic Logic 34 (1):139.
An automatic theorem prover for substitution and detachment systems.Jeremy George Peterson - 1978 - Notre Dame Journal of Formal Logic 19 (1):119-122.

Analytics

Added to PP
2010-08-24

Downloads
43 (#518,085)

6 months
6 (#856,140)

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.
Logical discrimination (2nd edition).Lloyd Humberstone - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 225–246.
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.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references