Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
From MaRDI portal
Publication:3605535
DOI10.1007/978-3-540-92687-0_19zbMATH Open1211.03020OpenAlexW1543465805MaRDI QIDQ3605535FDOQ3605535
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
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
Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
Cited In (12)
- Asymptotics and random sampling for BCI and BCK lambda terms
- In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
- Title not available (Why is that?)
- Tautologies over implication with negative literals
- Fractional semantics for classical logic
- LK, LJ, dual intuitionistic logic, and quantum 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
- Title not available (Why is that?)
- Statistics of intuitionistic versus classical logics
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)
