Author:
Fermüller Christian,Lang Timo,Pavlova Alexandra
Publisher
Springer International Publishing
Reference19 articles.
1. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4, 225–248 (1991)
2. Baaz, M.: Infinite-valued Gödel logics with $$0 $$-$$1 $$-projections and relativizations. In: Gödel 1996: Logical Foundations of Mathematics, Computer Science and Physics–Kurt Gödel’s Legacy, Proceedings, Brno, Czech Republic, August 1996, pp. 23–33. Association for Symbolic Logic (1996)
3. Baaz M., Ciabattoni A., Fermüller, C.: Sequent of relations calculi: a framework for analytic deduction in many-valued logics. In: Fitting M., Orlowska E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic. Studies in Fuzziness and Soft Computing, vol. 114, pp. 157–180. Springer, Heidelberg (2003).
https://doi.org/10.1007/978-3-7908-1769-0_6
4. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Cut-elimination in a sequents-of-relations calculus for Gödel logic. In: 31st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2001, Proceedings, Warsaw, Poland, 22–24 May 2001, pp. 181–186. IEEE Computer Society (2001)
5. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Hypersequent calculi for Gödel logics - a survey. J. Log. Comput. 13(6), 835–861 (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From Semantic Games to Provability: The Case of Gödel Logic;Studia Logica;2021-10-25
2. Provability Games for Non-classical Logics;Logic, Language, Information, and Computation;2021
3. Games for Hybrid Logic;Logic, Language, Information, and Computation;2021