A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
type: Item
instance of: scholarly article
title: A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
zbMATH Open document ID: 1198.03030
author: B. E. Eshmatov
published in: Journal of Philosophical Logic
publication date: 2010-04-26T00:00:00Z
review text: This paper defines a Routley-Meyer semantics for the Routley-Meyer logic B plus the reductio rule and disjunctive syllogism \((\gamma)\) and for a number of extensions of this logic. These include E and R both with \(\gamma\) and Ackermann's logics of `strenge Implikation': the logics \(\Pi\) and \(\Pi'\).
reviewed by: Martin W. Bunder
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5701558
zbMATH Keywords: relevant logics
zbMATH Keywords: disjunctive syllogism
zbMATH Keywords: Ackermann's \(\Pi\) and \(\Pi'\)
zbMATH Keywords: Routley-Meyer semantics
describes a project that uses: MaGIC
MaRDI profile type: Publication
full work available at URL: s10992-009-9117-7
OpenAlex ID: W2145191092
cites work: Begründung einer strengen Implikation
cites work: Q4085699
cites work: Q4297115
cites work: Q3599059
cites work: Q3347856
cites work: Q4459272
cites work: Algebraic completeness results for R-mingle and its extensions
cites work: Q4342081
cites work: Q4287485
cites work: Q4428873
cites work: Q4532199
cites work: E, R AND γ
cites work: Q4103076
cites work: Q4826043
cites work: The basic constructive logic for a weak sense of consistency
cites work: A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
cites work: The semantics of entailment. III
cites work: Q4077984
cites work: Q3701398
DOI: 10.1007/S10992-009-9117-7
description: scientific article; zbMATH DE number 5701558