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

DOI10.1007/BF00370439MaRDI QIDQ1257471zbMATH 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/BF00370439

zbMATH Keywords

ArithmeticConsistencyModel TheoryRelevant LogicThree-Valued LogicType Theory

Mathematics Subject Classification ID

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

Cites work

• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Completeness of relevant quantification theories
• scientific article; zbMATH DE number 3304001 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Model theory
• New axiomatics for relevant logics. I
• On the axiom of extensionality – Part I

Cited in

(11)

• Relevant Robinson's arithmetic
• Inconsistent models of arithmetic. I: Finite models
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• 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
• Notes on the model theory of DeMorgan logics
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• Possibilist models of executable arithmetic in an interpretation of Griss

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

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