Classical and Intuitionistic Logic Are Asymptotically Identical

DOI10.1007/978-3-540-74915-8_16MaRDI QIDQ3608412zbMATH OpenOpenAlexFDO

Authors Danièle Gardy, Antoine Genitrini, 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

analytic combinatoricsimplicational formulasintuitionistic logictautologies

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• Statistics of intuitionistic versus classical logics
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Statistics of implicational logic

Cited in

(15)

• 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
• On the density and the structure of the Peirce-like formulae
• 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
• Asymptotics and random sampling for BCI and BCK lambda terms
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• On asymptotic divergency in equivalential logics
• Almost all Classical Theorems are Intuitionistic
• Fuzzy logics – quantitatively
• 2-Xor revisited: satisfiability and probabilities of functions
• On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\)

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

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