Author:
Baaz Matthias,Ciabattoni Agata,Zach Richard
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Baaz, M.: Infinite-valued Gödel logics with 0-1-projections and relativizations. In Gödel 96. Kurt Gödel’s Legacy. Proceedings. LNL 6, Springer, 23–33. 248
2. Baaz, M., Leitsch, A., Zach, R.: Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs. In Computer Science Logic. Selected Papers from CSL’95. Springer, 1996, 1–15. 241
3. Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic, 38 (1999), 461–489. 248, 248, 249, 249
4. Baaz, M., Veith, H.: An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. In Logic Colloquium 1998. Proceedings. LNL 13, Association for Symbolic Logic, 91–104. 241, 241, 241, 244, 248
5. Baaz, M., Zach R.: Compact propositional Gödel logics. In 28th International Symposium on Multiple Valued Logic. Proceedings. IEEE Press, 1998, 108–113. 241
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献