A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL

Publisher: Cambridge University Press

E-ISSN: 1755-0211|10|3|549-582

ISSN: 1755-0203

Source: Review of Symbolic Logic, Vol.10, Iss.3, 2017-05, pp. : 549-582

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract