Classical propositional logic and decidability of variables in
intuitionistic propositional logicArticle
Authors: Hajime Ishihara
NULL
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.
SATORU NIKI, 2021, IMPROVING STRONG NEGATION, The Review of Symbolic Logic, 16, 3, pp. 951-977, 10.1017/s1755020321000290.
Peter Schuster;Daniel Wessel, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Resolving finite indeterminacy, pp. 820-830, 2020, Saarbrücken Germany, 10.1145/3373718.3394777.
Satoru Niki, 2020, Decidable variables for constructive logics, Mathematical logic quarterly, 66, 4, pp. 484-493, 10.1002/malq.202000022.
Katsumasa Ishii, 2018, A note on decidability of variables in intuitionistic propositional logic, Mathematical logic quarterly, 64, 3, pp. 183-184, 10.1002/malq.201700004.
Hajime Ishihara;Helmut Schwichtenberg, 2016, Embedding classical in minimal implicational logic, Mathematical logic quarterly, 62, 1-2, pp. 94-101, 10.1002/malq.201400099.