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
    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 1520 times.
    This article's PDF has been downloaded 369 times.