Author:
Ciabattoni Agata,Fermüller Christian G.,Metcalfe George
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Aguzzoli, S.: Uniform description of calculi for all t-norm logics. In: Henkin, L., et al. (eds.) Proceedings of 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), pp. 38–43 (2004)
2. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence 4(3–4), 225–248 (1991)
3. Avron, A., Konikowska, B.: Decomposition Proof Systems for Gödel-Dummett Logics. Studia Logica 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: International Symposium on Multiple Valued Logic (ISMVL 2001), pp. 181–186. IEEE, Los Alamitos (2001)
5. Lecture Notes in Artificial Intelligence;M. Baaz,1999
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献