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

Antoine Genitrini Jakub Kozik

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

propositional logic
horn logic
valued logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
propositional satisfiability
lattice theory
belief change
solving hard
orders of magnitude
satisfiability testing
knowledge base
davis putnam