Author:
Pereira Luiz Carlos,Haeusler Edward Hermann
Publisher
Springer International Publishing
Reference12 articles.
1. Gentzen, G. (1974). Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Archiv für Mathematische Logik, 16, 119–132.
2. Gödel, K. (1933). Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums, 4, 34–38.
3. Gordeev, L. (1987). On cut elimination in the presence of Peirce rule. Archive for Mathematical Logic, 26(1), 147–164.
4. Kolmogorov, A. (1925). Sur le principe de tertium non datur. Met Sbornik, 32, 646–667. (translation in van Heijenoort).
5. Medeiros, M. (2006). A new S4 classical modal logic in natural deduction. Journal of Symbolic Logic, 71(3), 799–809.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Jacobson radical for an inconsistency predicate;Computability;2022-05-13
2. A General Glivenko–Gödel Theorem for Nuclei;Electronic Proceedings in Theoretical Computer Science;2021-12-29
3. The Jacobson Radical of a Propositional Theory;The Bulletin of Symbolic Logic;2021-12-02
4. Resolving finite indeterminacy;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
5. Postponement of
$$\mathsf {raa}$$
raa
and Glivenko’s Theorem, Revisited;Studia Logica;2018-03-09