Classical and Intuitionistic Logic Are Asymptotically Identical
From MaRDI portal
Publication:3608412
DOI10.1007/978-3-540-74915-8_16zbMath1179.03015MaRDI QIDQ3608412
Antoine Genitrini, Daniéle Gardy, Marek Zaionc, Hervé Fournier
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_16
03B10: Classical first-order logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Almost all Classical Theorems are Intuitionistic, Asymptotics and random sampling for BCI and BCK lambda terms, In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid, 2-Xor revisited: satisfiability and probabilities of functions, Associative and commutative tree representations for Boolean functions, The fraction of large random trees representing a given Boolean function in implicational logic, Asymptotic Properties of Combinatory Logic, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Tautologies over implication with negative literals, Complexity and Limiting Ratio of Boolean Functions over Implication, Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System