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.


    Volume: Volume 10, Issue 3
    Published on: August 7, 2014
    Imported on: March 30, 2013
    Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science

    7 Documents citing this article

    Consultation statistics

    This page has been seen 1196 times.
    This article's PDF has been downloaded 343 times.