Classical and Intuitionistic Logic Are Asymptotically Identical

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

zbMATH Keywords

intuitionistic logicanalytic combinatoricstautologiesimplicational formulas

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (12)

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

This page was built for publication: Classical and Intuitionistic Logic Are Asymptotically Identical