Publisher
Springer Science and Business Media LLC
Reference35 articles.
1. Avellone, A., Ferrari, M., Miglioli, P.: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Log. J. IGPL 7, 447–480 (1999)
2. Avron, A., Konikowska, B.: Decomposition proof systems for Gödel-Dummett logics. Stud. Log. 69, 197–219 (2001)
3. Baaz, M., Ciabattoni, A., Fermüller, C.: Hypersequent calculi for Gödel logics—a survey. J. Log. Comput. 13, 1–27 (2003)
4. Baaz, M., Ciabattoni, A., Fermüller, C.: Sequent of relations calculi: a framework for analytic deduction in many-valued logics. In [15], 152–175
5. Baaz, M., Veith, H.: An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. In [7], 91–104
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献