IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_1368
Label Język Typ
abstract of Truth-Maker Semantics for Intuitionistic Logic en rdfs:label

Adnotacje

  • zawiera tekst
    • 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

Identyczne obiekty

Typy

Object properties

Data properties