Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

DOI10.1007/978-3-540-92687-0_19MaRDI QIDQ3605535zbMATH OpenOpenAlexFDO

Authors Antoine Genitrini, Jakub Kozik

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)

Recommendations

• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Statistics of intuitionistic versus classical logics
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Classical and Intuitionistic Logic Are Asymptotically Identical
• A lower bound for intuitionistic logic

Cites work

• scientific article; zbMATH DE number 3112944 (Why is no real title available?)
• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• Analytic combinatorics
• And/Or Trees Revisited
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Statistical properties of simple types

Cited in

(12)

• Statistics of intuitionistic versus classical logics
• Asymptotics and random sampling for BCI and BCK lambda terms
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Tautologies over implication with negative literals
• scientific article; zbMATH DE number 1916519 (Why is no real title available?)
• LK, LJ, dual intuitionistic logic, and quantum logic
• Fractional semantics for classical logic
• The Friedman-Sheard programme in intuitionistic logic
• On asymptotic divergency in equivalential logics
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)

This page was built for publication: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605535)