On the BCI-Admissibility of an 'Abelian' Rule

&

Abstract

Am(B m B). Specifically I was wondering whether for every BCI-provable formula A there is a B for which the inset formula was provable. If you want to read about this issue, which I..

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Self-implications in BCI.Tomasz Kowalski - 2008 - Notre Dame Journal of Formal Logic 49 (3):295-305.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).
Reduction to first degree in quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.
The proofs of α→α in P - W.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
Formulas for which contraction is admissible.A. Avron - 1998 - Logic Journal of the IGPL 6 (1):43-48.
Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
Algebraizing A→.Sam Butchart & Susan Rogerson - unknown
Partiality and Adjointness in Modal Logic.Wesley H. Holliday - unknown - In Rajeev Gore (ed.), Advances in modal logic, volume. pp. 313-332.

Analytics

Added to PP
2010-12-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Lloyd Humberstone
Monash University
Tomasz Kowalski
La Trobe University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references