Author:
Larchey-Wendling Dominique
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference17 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(4), 447–480 (1999)
2. Avron, A.: A tableau system for Gödel-Dummett logic based on a hypersequent calculus. In: TABLEAUX 2000. Lecture Notes in Artificial Intelligence, vol. 1847, pp. 98–111. Springer, Berlin Heidelberg New York (2000)
3. Avron, A., Konikowska, B.: Decomposition proof systems for Gödel-Dummett logics. Stud. Log. 69(2), 197–219 (2001)
4. Baaz, M., Ciabattoni, A., Fermüller, C.: Cut-elimination in a sequents-of-relations calculus for Gödel logic. In: ISMVL 2001. pp. 181–186. IEEE Computer Society, Los Alamitos, CA (2001)
5. Baaz, M., Ciabattoni, A., Fermüller, C.: Hypersequent calculi for Gödel logics – a survey. J. Log. Comput. 13(6), 835–861 (2003)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献