A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic

DOI10.1007/BF00370439zbMath0406.03030MaRDI QIDQ1257471

J. Michael Dunn

Publication date: 1979

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

zbMATH Keywords

ConsistencyType TheoryArithmeticModel TheoryThree-Valued LogicRelevant Logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Inconsistent models of arithmetic. I: Finite models, AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC, Relevant Robinson's arithmetic, Notes on the model theory of DeMorgan logics, Wedge Sum, Merge and Inconsistency, A “Reply” to My “Critics”, Variations on the Collapsing Lemma, Some Comments and Replies, Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

Cites Work

• Completeness of relevant quantification theories
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Model theory
• New axiomatics for relevant logics. I
• Intuitive semantics for first-degree entailments and `coupled trees'
• On the axiom of extensionality – Part I
• Unnamed Item