A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
From MaRDI portal
Publication:1257471
DOI10.1007/BF00370439zbMath0406.03030MaRDI QIDQ1257471
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B30: Foundations of classical theories (including reverse mathematics)
03B50: Many-valued logic
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Notes on the model theory of DeMorgan logics, 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
Cites Work