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

DOI10.1016/J.APAL.2011.09.011zbMATH Open1248.03013OpenAlexW2076937467MaRDI QIDQ408542FDOQ408542

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

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

zbMATH Keywords

intuitionistic logicasymptotic densityanalytic combinatoricspropositional formulaetautologies

Mathematics Subject Classification ID

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

Cites Work

• Analytic combinatorics
• Title not available (Why is that?)
• Lectures on the Curry-Howard isomorphism
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Statistical properties of simple types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Random Boolean expressions
• And/Or Trees Revisited

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)