Classical and Intuitionistic Logic Are Asymptotically Identical
From MaRDI portal
Publication:3608412
DOI10.1007/978-3-540-74915-8_16zbMath1179.03015OpenAlexW1507897467MaRDI 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
Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
The fraction of large random trees representing a given Boolean function in implicational logic, Asymptotics and random sampling for BCI and BCK lambda terms, Asymptotic Properties of Combinatory Logic, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid, Fuzzy logics – quantitatively, 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, 2-Xor revisited: satisfiability and probabilities of functions, Associative and commutative tree representations for Boolean functions, Almost all Classical Theorems are Intuitionistic