A Three-Valued Fregean Quantification Logic
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-018-9469-y
Abstract: Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is… read more here.
Keywords: quantification logic; fregean quantification; three valued; valued fregean ... See more keywords