Relevant Robinson's arithmetic

DOI10.1007/BF00370478MaRDI QIDQ1139580zbMATH OpenFDO

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

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Algebraic completeness results for R-mingle and its extensions
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification

Cited in

(5)

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

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)