Classical propositional logic and decidability of variables in intuitionistic propositional logic
Logic
2015-07-01 v2 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1405.0091,
title = {Classical propositional logic and decidability of variables in intuitionistic propositional logic},
author = {Hajime Ishihara},
journal= {arXiv preprint arXiv:1405.0091},
year = {2015}
}