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

DOI10.1016/J.APAL.2011.09.011MaRDI QIDQ408542zbMATH OpenOpenAlexFDO

Authors 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

intuitionistic logicasymptotic densityanalytic combinatoricspropositional formulaetautologies

Mathematics Subject Classification ID

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

Recommendations

• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• Statistics of intuitionistic versus classical logics
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• On the asymptotic density of tautologies in logic of implication and negation
• Classical and Intuitionistic Logic Are Asymptotically Identical

Cites work

• scientific article; zbMATH DE number 6683507 (Why is no real title available?)
• scientific article; zbMATH DE number 3112944 (Why is no real title available?)
• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• Analytic combinatorics
• And/Or Trees Revisited
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Lectures on the Curry-Howard isomorphism
• Random Boolean expressions
• Statistical properties of simple types

Cited in

(9)

• Asymptotic properties of combinatory logic
• Generalised and quotient models for random and/or~trees and application to satisfiability
• On the density of truth of implicational parts of intuitionistic and classical logics
• On the density and the structure of the Peirce-like formulae
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Enumerating lambda terms by weighted length of their de Bruijn representation
• Fuzzy logics – quantitatively

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

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