A theorem in 3-valued model theory with connections to number theory,type theory,and relevant logic |
| |
Authors: | J. Michael Dunn |
| |
Affiliation: | (1) Indiana University, Bloomington, USA |
| |
Abstract: | Given classical (2 valued) structures and and a homomorphism h of onto , it is shown how to construct a (non-degenerate) 3-valued counterpart of . Classical sentences that are true in are non-false in . Applications to number theory and type theory (with axiom of infinity) produce finite 3-valued models in which all classically true sentences of these theories are non-false. Connections to relevant logic give absolute consistency proofs for versions of these theories formulated in relevant logic (the proof for number theory was obtained earlier by R. K. Meyer and suggested the present abstract development). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|