Logic and Logical Philosophy 22 (4):411-427 (2013)

Authors
Gemma Robles
Universidad de León
Abstract
It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties
Keywords relevant logics  substructural logics  rule δ  admissible rules  rule assertion
Categories (categorize this paper)
DOI 10.12775/LLP.2013.018
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,683
Through your library

References found in this work BETA

What is Strict Implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
Begründung Einer Strengen Implikation.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):327-328.

View all 6 references / Add more references

Citations of this work BETA

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.

Add more citations

Similar books and articles

Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
Where Gamma Fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.

Analytics

Added to PP index
2013-10-29

Total views
26 ( #427,155 of 2,462,429 )

Recent downloads (6 months)
1 ( #449,313 of 2,462,429 )

How can I increase my downloads?

Downloads

My notes