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

DOI10.1016/J.APAL.2011.09.011zbMath1248.03013OpenAlexW2076937467MaRDI 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 densityintuitionistic logicanalytic combinatoricspropositional formulaetautologies

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

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

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

This page was built for publication: In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid