Quantitative comparison of Intuitionistic and Classical logics - full propositional system - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Quantitative comparison of Intuitionistic and Classical logics - full propositional system

Domains

Data Structures and Algorithms [cs.DS] Logic in Computer Science [cs.LO]

Antoine Genitrini  : Connect in order to contact the contributor

https://hal.science/hal-00530515

Submitted on : Friday, October 29, 2010-10:40:25 AM

Last modification on : Friday, March 24, 2023-2:52:53 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00530515 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UVSQ
38 View
0 Download

Share

Gmail Facebook X LinkedIn More