Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre (Q1071765)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre |
scientific article; zbMATH DE number 3939360
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre |
scientific article; zbMATH DE number 3939360 |
Statements
Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre (English)
0 references
1985
0 references
A new, rather elementary, proof of the celebrated theorem of Glivenko is given. According to this theorem, if A is a theorem of the classical sentence calculus, then \(\bar{\bar A}\) is a theorem of the intuitionistic sentence calculus. Several models of the classical sentence calculus are displayed into the intuitionistic sentence calculus and discussed.
0 references
intuitionistic propositional calculus
0 references
classical propositional calculus
0 references
0.8020949959754944
0 references
0.7782599329948425
0 references
