Glivenko's theorem is a basic result showing a close connection between classical and intuitionistic propositional logic. It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent. The theorem was proven relative to an axiomatisation of intuitionistic logic provided by Glivenko, one of the first attempts to axiomatise the logic.
| Property | Value |
|---|
| dbpprop:abstract
|
- Glivenko's theorem is a basic result showing a close connection between classical and intuitionistic propositional logic. It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent. The theorem was proven relative to an axiomatisation of intuitionistic logic provided by Glivenko, one of the first attempts to axiomatise the logic.
|
| dbpprop:date
| |
| dbpprop:discuss
|
- Talk:Gödel–Gentzen negative translation
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| dbpprop:wikiPageUsesTemplate
| |
| rdfs:comment
|
- Glivenko's theorem is a basic result showing a close connection between classical and intuitionistic propositional logic. It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent. The theorem was proven relative to an axiomatisation of intuitionistic logic provided by Glivenko, one of the first attempts to axiomatise the logic.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
