Ishihara, Hajime - 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
Classical propositional logic and decidability of variables in intuitionistic propositional logic

Authors: Ishihara, Hajime

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.


Source : oai:arXiv.org:1405.0091
DOI : 10.2168/LMCS-10(3:1)2014
Volume: Volume 10, Issue 3
Published on: August 7, 2014
Submitted on: March 30, 2013
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 95 times.
This article's PDF has been downloaded 44 times.