Author:
Baaz Matthias,Zach Richard
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Contemporary Mathematics;A. Avellone,1999
2. A. Avron. Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artificial Intelligence, 4:225–248, 1991.
3. M. Baaz and H. Veith. An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. In S. Buss, P. Hájek, and P. Pudlák, editors, Logic Colloquium’ 98. Proceedings, LNL 13, 74–87. ASL, 2000.
4. G. Corsi. A cut-free calculus for Dummett’s LC quantified. Z. Math. Logik Grundlag. Math., 35:289–301, 1989.
5. G. Corsi. Completeness theorem for Dummett’s LC quantified and some of its extensions. Studia Logica, 51:317–335, 1992.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献