Classical propositional logic and decidability of variables in intuitionistic propositional logic
classification
🧮 math.LO
cs.LO
keywords
propositionallogicclassicalformulaintuitionisticvariablesanswerdecidability
read the original abstract
We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.