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.
Peter Schuster;Daniel Wessel, 2022, The Jacobson radical for an inconsistency predicate, Computability, 11, 2, pp. 147-162, 10.3233/com-210365.
Giulio Fellin;Peter Schuster;Daniel Wessel, 2021, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, The bulletin of symbolic logic/Bulletin of symbolic logic, 28, 2, pp. 163-181, 10.1017/bsl.2021.66, https://doi.org/10.1017/bsl.2021.66.
Satoru Niki, 2021, IMPROVING STRONG NEGATION, Review of symbolic logic/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, 2020, Saarbrücken Germany, 10.1145/3373718.3394777.
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.