BCI-algebras from the point of view of logic

Bulletin of the Section of Logic 12 (3):126-128 (1983)
  Copy   BIBTEX

Abstract

The following logics are the most noteworthy from the perspective of the calculus of combinators: the Hilbert’s positive implicational logic , the Church’s weak theory of implication , the BCK-logic, and the BCI-logic. Their significance is due to a certain correspondence between combinators and implicational formulas . The first three logics mentioned have been immensely investigated but it was not so in case of the remaining one. The BCI-logics was mentioned by A. N. Prior in the second edition of his Formal Logic of 1962 where it was credited to C. A. Meredith and dated in 1956 . A

Categories

Keywords

Reprint years

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

BCI-Algebras and Related Logics.Martin Bunder - 2022 - Australasian Journal of Logic 19 (2):85-95.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
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.
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.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.
Logics of Order and Related Notions.Janusz Czelakowski & Adam Olszewski - 2022 - Studia Logica 110 (6):1417-1464.
On the Complexity of Some Substructural Logics.Buszkowski Wojciech - 2008 - Reports on Mathematical Logic.
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics.Marian Maduch - 1976 - Bulletin of the Section of Logic 5 (1):29-31.

Analytics

Added to PP
2014-01-25

Downloads
36 (#626,850)

6 months
4 (#1,247,093)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 191--205.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references