Quantitative comparison of Intuitionistic and Classical logics - full propositional system - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Quantitative comparison of Intuitionistic and Classical logics - full propositional system

Antoine Genitrini
Parallélisme, Réseaux, Systèmes, Modélisation
Jakub Kozik
  • Fonction : Auteur
Theoretical Computer Science Department [Krakow]

Domaines

Algorithme et structure de données [cs.DS] Logique en informatique [cs.LO]

Antoine Genitrini  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00530515

Soumis le : vendredi 29 octobre 2010-10:40:25

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00530515 , version 1 (29-10-2010)

Identifiants

  • HAL Id : hal-00530515 , version 1

Citer

Antoine Genitrini, Jakub Kozik. Quantitative comparison of Intuitionistic and Classical logics - full propositional system. International Symposium on Logical Foundations of Computer Science, 2009, Deerfield Beach, United States. pp.280-294. ⟨hal-00530515⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UVSQ
60 Consultations
0 Téléchargements

Partager

More