Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
type: Item
instance of: scholarly article
zbMATH Open document ID: 1254.03042
publication date: 2012-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 6063594
zbMATH Keywords: relevant logic
zbMATH Keywords: disjunctive syllogism
zbMATH Keywords: Routley-Meyer-type ternary relational semantics
zbMATH Keywords: ticket entailment logic
zbMATH Keywords: rule of contraction
zbMATH Keywords: rule of reductio
MaRDI profile type: Publication
author: José M. Méndez
author: Gemma Robles
author: Francisco Salto
title: Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
published in: Logique et Analyse. Nouvelle Série
review text: The admissibility of disjunctive syllogism is one of major problems concerning relevant logics listed by Anderson. In this paper the authors investigate the role of disjunctive syllogism semantically, that is, they show how to define a Routley-Meyer-type ternary relational semantics for relevant logics including TW\(^\prime\) where the logic TW is obtained by removing the axioms of contraction and reductio from ticket entailment logic T, and TW\(^\prime\) by adding to TW the rules of contraction and reductio as well as disjunctive syllogism. On the base of the semantics for TW established by Routley, Meyer et al., semantical postulates corresponding to the three additional rules are specified, with which TW\(^\prime\) is proved to be sound and complele. Several standard relevant logics, such as T, E, R etc., are shown to be characterizable in the semantical framework, so that it is useful also for the study of their extensions admitting disjunctive syllogism.
reviewed by: Osamu Sonobe
description: scientific article; zbMATH DE number 6063594