On density of truth of the intuitionistic logic in one variable

Abstract : In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas. It turns out that this proportion is different from the analog one in the classical logic case.
Type de document :
Communication dans un congrès
Roesler, Uwe. Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science, pp.449-460, 2008, DMTCS Proceedings
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01194665
Contributeur : Coordination Episciences Iam <>
Soumis le : lundi 7 septembre 2015 - 12:50:48
Dernière modification le : mercredi 10 mai 2017 - 17:41:17
Document(s) archivé(s) le : mardi 8 décembre 2015 - 12:53:14

Fichier

dmAI0130.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01194665, version 1

Collections

Citation

Zofia Kostrzycka. On density of truth of the intuitionistic logic in one variable. Roesler, Uwe. Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science, pp.449-460, 2008, DMTCS Proceedings. 〈hal-01194665〉

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

89