Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference25 articles.
1. Ariola, Z. M., H. Herbelin, and A. Sabry, A proof-theoretic foundation of abortive continuations, Higher-Order and Symbolic Computation 20(4):403–429, 2007.
2. Brown, C. E., and C. Rizkallah, Glivenko and Kuroda for Simple Type Theory, The Journal of Symbolic Logic 79(2):485–495, 2014.
3. Ertola, R., and M. Sagastume, Subminimal logic and weak algebras, Reports on Mathematical Logic 44:153–166, 2009.
4. Espíndola, C., A short proof of Glivenko theorems for intermediate predicate logics, Archive for Mathematical Logic 52(7):823–826, 2013.
5. Farahani, H., and H. Ono, Glivenko theorems and negative translations in substructural predicate logics, Archive for Mathematical Logic 51(7):695–707, 2012.
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. General Proof Theory: Introduction;Studia Logica;2018-09-10