Relevant Robinson's arithmetic

DOI10.1007/BF00370478zbMath0434.03018MaRDI QIDQ1139580

J. Michael Dunn

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

relevant logicRobinson's arithmeticrelevant Peano arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Relevant predication. I: The formal theory ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ A “Reply” to My “Critics” ⋮ Paraconsistent Computation and Dialetheic Machines

Cites Work

• Unnamed Item
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Algebraic completeness results for R-mingle and its extensions