Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A short proof of Glivenko theorems for intermediate predicate logics
Stockholms universitet, Naturvetenskapliga fakulteten, Matematiska institutionen.
2013 (Engelska)Ingår i: Archive for mathematical logic, ISSN 0933-5846, E-ISSN 1432-0665, Vol. 52, nr 7-8, s. 823-826Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

We give a simple proof-theoretic argument showing that Glivenko’s theorem for propositional logic and its version for predicate logic follow as an easy consequence of the deduction theorem, which also proves some Glivenko type theorems relating intermediate predicate logics between intuitionistic and classical logic. We consider two schemata, the double negation shift (DNS) and the one consisting of instances of the principle of excluded middle for sentences (REM). We prove that both schemata combined derive classical logic, while each one of them provides a strictly weaker intermediate logic, and neither of them is derivable from the other. We show that over every intermediate logic there exists a maximal intermediate logic for which Glivenko’s theorem holds. We deduce as well a characterization of DNS, as the weakest (with respect to derivability) scheme that added to REM derives classical logic.

Ort, förlag, år, upplaga, sidor
2013. Vol. 52, nr 7-8, s. 823-826
Nyckelord [en]
Glivenko’s theorem, Negative translations, Double negation shift, Proof-theoretic methods
Nationell ämneskategori
Algebra och logik
Forskningsämne
matematik
Identifikatorer
URN: urn:nbn:se:su:diva-94966DOI: 10.1007/s00153-013-0346-7ISI: 000328257800009OAI: oai:DiVA.org:su-94966DiVA, id: diva2:657374
Forskningsfinansiär
VetenskapsrådetTillgänglig från: 2013-10-18 Skapad: 2013-10-18 Senast uppdaterad: 2017-12-06Bibliografiskt granskad

Open Access i DiVA

Fulltext(155 kB)218 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 155 kBChecksumma SHA-512
c0afebf69763912592980cbd97519a11fba6c79c21402364165800b38aeae58fbc3a7d095aac53a41e8d0a95f2222878c4238197e3fb68a2594e2b2e07d6b65c
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Espíndola, Christian
Av organisationen
Matematiska institutionen
I samma tidskrift
Archive for mathematical logic
Algebra och logik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 218 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 187 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf