Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

DOI10.1007/978-3-540-92687-0_19zbMath1211.03020OpenAlexW1543465805MaRDI QIDQ3605535

Jakub Kozik, Antoine Genitrini

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_19

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Asymptotics and random sampling for BCI and BCK lambda terms ⋮ Tautologies over implication with negative literals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Statistical properties of simple types
• And/Or Trees Revisited