IRI
http://www.metaontology.pl/metaontology_populated.owl#abstract_1368
| Label | Language | Type |
|---|---|---|
| abstract of Truth-Maker Semantics for Intuitionistic Logic | en | rdfs:label |
Annotations
-
has text
-
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
-