In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
From MaRDI portal
Publication:408542
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
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
This page was built for publication: In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid