Abstract
AbstractWe introduce a game for (extended) Gödel logic where the players’ interaction stepwise reduces claims about the relative order of truth degrees of complex formulas to atomic truth comparison claims. Using the concept of disjunctive game states this semantic game is lifted to a provability game, where winning strategies correspond to proofs in a sequents-of-relations calculus.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
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’96: Logical Foundations of Mathematics, Computer Science and Physics—Kurt Gödel’s legacy, Brno, Czech Republic, August 1996, Proceedings, 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., Orłowska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic. Studies in Fuzziness and Soft Computing, vol. 114, pp. 157–180. Physica-Verlag, Heidelberg (2003)
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, Warsaw, Poland, May 22–24, 2001, Proceedings, 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
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献