Author:
Baaz Matthias,Fasching Oliver
Subject
Artificial Intelligence,Logic
Reference16 articles.
1. A. Avron, A Tableau System for Gödel–Dummett Logic Based on a Hypersequent Calculus, Tableaux 2000, Lecture Notes in Computer Science, vol. 1847, 2000, pp. 98–111.
2. Note on witnessed Gödel logics with Delta;Baaz;Ann. Pure Appl. Log.,2009
3. M. Baaz, O. Fasching, The impact of adding a constant, submitted for publication.
4. M. Baaz, N. Preining, R. Zach, Characterization of the axiomatizable prenex fragments of first-order Gödel logics, in: IEEE International Symposium on Multiple-valued Logic, 2003, pp. 175–180.
5. M. Baaz, R. Zach, Compact propositional Gödel logics, in: IEEE International Symposium on Multiple-valued Logic, 1998, pp. 108–113.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献