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
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
Cites Work