A theorem in 3-valued model theory with connections to number theory,type theory,and relevant logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

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

Authors:	J Michael Dunn

Institution:	(1) Indiana University, Bloomington, USA

Abstract:	Given classical (2 valued) structures $\mathfrak{A}$ and $\mathfrak{A}'$ and a homomorphism h of $\mathfrak{A}$ onto $\mathfrak{A}'$ , it is shown how to construct a (non-degenerate) 3-valued counterpart $3\mathfrak{A}'$ of $\mathfrak{A}'$ . Classical sentences that are true in $\mathfrak{A}$ are non-false in $3\mathfrak{A}'$ . 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 等数据库收录！