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)

Full work available at URL https://doi.org/10.1007/BF00370478

zbMATH Keywords

relevant logicrelevant Peano arithmeticRobinson's arithmetic

Mathematics Subject Classification ID

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

Cites work

• 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
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)

Cited in

(8)

• Relevant predication. I: The formal theory
• A ``reply to my ``critics
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• SUBSTITUTION IN RELEVANT LOGICS
• Paraconsistent computation and dialetheic machines
• Models for official entailment
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• Relevant number theory with cancellation

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)