Author:
Ciabattoni Agata,Montagna Franco
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. S. Aguzzoli, B. Gerla, Comparing the expressive power of some fuzzy logics based on residuated t-norms, in: Proceedings of FUZZ-IEEE 2006, pp. 2012–2019.
2. The method of hypersequents in the proof theory of propositional nonclassical logics;Avron,1996
3. Ordered chaining calculi for first-order theories of transitive relations;Bachmair;Journal of the ACM,1998
4. Cut-elimination in a sequents-of-relations calculus for Gödel logic;Baaz,2001
5. Analytic calculi for projective logics;Baaz,1999
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献