Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Base-extension semantics for intuitionistic sentential logic
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2015 (English)In: Logic journal of the IGPL (Print), ISSN 1367-0751, E-ISSN 1368-9894, Vol. 23, no 5, 719-731 p.Article in journal (Refereed) Published
Abstract [en]

Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in atomic bases are conceived of as being accepted hypothetically rather than categorically.

Place, publisher, year, edition, pages
Oxford University Press, 2015. Vol. 23, no 5, 719-731 p.
Keyword [en]
Base-extension semantics, proof-theoretic semantics, intuitionistic logic, completeness, disjunction, hypothetical reasoning
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-176980DOI: 10.1093/jigpal/jzv021ISI: 000363059700001Scopus ID: 2-s2.0-84943768008OAI: oai:DiVA.org:kth-176980DiVA: diva2:872373
Note

QC 20151118

Available from: 2015-11-18 Created: 2015-11-13 Last updated: 2017-12-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sandqvist, Tor
By organisation
Philosophy
In the same journal
Logic journal of the IGPL (Print)
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 35 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf