Relevant Robinson's arithmetic

DOI10.1007/BF00370478zbMATH Open0434.03018MaRDI QIDQ1139580FDOQ1139580

Authors: 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)

Cites Work

• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• 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

Cited In (5)

• A ``reply to my ``critics
• SUBSTITUTION IN RELEVANT LOGICS
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• Relevant predication. I: The formal theory
• Paraconsistent computation and dialetheic machines

This page was built for publication: Relevant Robinson's arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1139580)