I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world. © 2013 Springer Science+Business Media Dordrecht.
CITATION STYLE
Fine, K. (2014). Truth-Maker Semantics for Intuitionistic Logic. Journal of Philosophical Logic, 43(2–3), 549–577. https://doi.org/10.1007/s10992-013-9281-7
Mendeley helps you to discover research relevant for your work.