Hajime Ishihara - Classical propositional logic and decidability of variables in intuitionistic propositional logic

lmcs:1173 - Logical Methods in Computer Science, August 7, 2014, Volume 10, Issue 3 - https://doi.org/10.2168/LMCS-10(3:1)2014
Classical propositional logic and decidability of variables in intuitionistic propositional logicArticle

Authors: Hajime Ishihara

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.

https://doi.org/10.2168/LMCS-10(3:1)2014
Source: arXiv.org:1405.0091
Volume: Volume 10, Issue 3
Secondary volumes: Special Festschrift Issue in Honor of Dieter Spreen
Published on: August 7, 2014
Imported on: March 30, 2013
Keywords: Mathematics - Logic, Computer Science - Logic in Computer Science
Licence: arXiv.org - Non-exclusive license to distribute

7 Documents citing this article

Share and export

Consultation statistics

This page has been seen 2123 times.
This article's PDF has been downloaded 604 times.