In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid

DOI10.1016/j.apal.2011.09.011zbMath1248.03013MaRDI QIDQ408542

Antoine Genitrini, Jakub Kozik

Publication date: 10 April 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.09.011

zbMATH Keywords

asymptotic density; intuitionistic logic; analytic combinatorics; propositional formulae; tautologies

Mathematics Subject Classification ID

03B05: Classical propositional logic

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Generalised and quotient models for random and/or~trees and application to satisfiability, Enumerating lambda terms by weighted length of their de Bruijn representation, Asymptotic Properties of Combinatory Logic

Cites Work

• Lectures on the Curry-Howard isomorphism
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Statistical properties of simple types
• And/Or Trees Revisited
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item