An Abelian Rule for BCI—and Variations

Notre Dame Journal of Formal Logic 57 (4):551-568 (2016)
  Copy   BIBTEX

Abstract

We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from →β to α. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Admissibility of Ackermann's rule δ in relevant logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.
Algebraic Logic Perspective on Prucnal’s Substitution.Alex Citkin - 2016 - Notre Dame Journal of Formal Logic 57 (4):503-521.

Analytics

Added to PP
2016-09-13

Downloads
32 (#461,262)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Tomasz Kowalski
La Trobe University
Lloyd Humberstone
Monash University

Citations of this work

Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.

Add more citations

References found in this work

Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Logic and groups.Francesco Paoli - 2001 - Logic and Logical Philosophy 9:109.

View all 14 references / Add more references