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 (10)

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

• Unnamed Item
• 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

This page was built for publication: A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic