Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Church A.: Introduction to Mathematical Logic. Princeton University Press, Princeton (1956)
2. Farahani H., Ono H.: Glivenko theorems and negative translations in substructural predicate logics. Arch. Math. Logic 51, 695–707 (2012)
3. Gabbay D.M.: Applications of trees to intermediate logics. J. Symb. Logic 37, 135–138 (1972)
4. Glivenko V.: Sur quelques points de la logique de M. Brouwer. Académie Royale de Belgique—Bulletin de la classe des sciences, ser. 5 15, 183–188 (1929)
5. Kleene S.C.: Introduction to metamathematics. D. Van Nostrand Co., Inc., New York (1952)
Cited by
6 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. Decidable variables for constructive logics;Mathematical Logic Quarterly;2020-12
5. Resolving finite indeterminacy;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08