Where gamma fails
type: Item
instance of: scholarly article
title: Where gamma fails
zbMATH Open document ID: 0586.03016
DOI: 10.1007/BF02429841
author: Robert K. Meyer
author: Steve Giambrone
author: Ross T. Brady
published in: Studia Logica
publication date: 1984-01-01T00:00:00Z
review text: The authors characterize a class of relevance logics in which Ackermann's rule \(\gamma\) is inadmissible. They make a case that one of these logics, called BN4, is best when you want four values: true, false, neither, both. Rule Gamma specifies: A, -A\(\vee B\vdash B\). After a brief discussion of the background of the ''Gamma Problem'', they present CWR. Roughly: CWR is the system R without A\&(A\(\to B)\to B\), (A\(\to.A\to B)\to (A\to B)\), (A\(\to -A)\to A\), but with axioms for classical (Boolean) negation \(\neg\) and a stricter (DeMorgan) negation: \(A\to f\) or -A. They present a matrix suitable for CWR4 and show that \(\gamma\) is inadmissible in CWR. BN4 is the set of formulas which this matrix characterizes. Their theorem states: \(\gamma\) fails for all subsystems of BN4 in which both \(A\to A\) and \(A\vee \neg A\) are theorem schemes.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 3939328
zbMATH Keywords: relevant logic
zbMATH Keywords: Ackermann's rule
reviewed by: Charles F. Kielkopf
MaRDI profile type: Publication
cites work: Begründung einer strengen Implikation
cites work: Q5730122
cites work: E, R AND γ
cites work: Classical relevant logics. II
cites work: A completeness theorem in modal logic
description: scientific article; zbMATH DE number 3939328