IRI

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

Adnotacje

Identyczne obiekty

Typy

Object properties

Data properties

  • jest opublikowany w roku

    • 2014

  • ma metadane w formacie Bibtex

    • @article{Fine2014-FINTSF,year = {2014},journal = {Journal of Philosophical Logic},author = {Kit Fine},abstract = {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},number = {2-3},pages = {549--577},volume = {43},title = {Truth-Maker Semantics for Intuitionistic Logic}}@

  • ma tytuł

    • Truth-Maker Semantics for Intuitionistic Logic

  • ostatnia strona

    • 577

  • pierwsza strona

    • 549