A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism

&
Logic Journal of the IGPL 19 (1):18-32 (2011)
  Copy   BIBTEX

Abstract

We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzp083

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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 Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules.Jose M. Mendez, Gemma Robles & Francisco Salto - 2011 - Logique Et Analyse 54 (215):343-358.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B.Sandra M. López - forthcoming - Logic and Logical Philosophy:29-56.
Non-Boolean classical relevant logics I.Tore Fjetland Øgaard - 2019 - Synthese (8):1-32.
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.Ross T. Brady - 1989 - Studia Logica 48 (2):235-241.
An Admissible Semantics for Propositionally Quantified Relevant Logics.Robert Goldblatt & Michael Kane - 2010 - Journal of Philosophical Logic 39 (1):73-100.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.

Analytics

Added to PP
2011-12-12

Downloads
8 (#1,345,183)

6 months
138 (#29,556)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Gemma Robles
Universidad de León

Citations of this work

Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
A plea for KR.Alison Duncan Kerr - 2019 - Synthese 198 (4):3047-3071.
Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.

Add more citations

References found in this work

No references found.

Add more references