Abstract
An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of Łukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth comparison game for infinite-valued Gödel logic.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abramsky S., Jagadeesan R.: ‘Games and Full Completeness for Multiplicative Linear Logic’, J. Symbolic Logic 59(2), 543–574 (1994)
Abramsky, S., and G. McCusker, ‘Game semantics’, in H. Schwichtenberg and U. Berger (eds.), Computational Logic, Springer-Verlag, 1999, pp. 1–56.
Avron A.: ‘Hypersequents, logical consequence and intermediate logics for concurrency’. Annals of Mathematics and Artificial Intelligence 4(3-4), 225–248 (1991)
Baaz, M., and C. G. Fermüller, ‘Analytic Calculi for Projective Logics’, TABLEAUX 1999, Springer LNCS 1617, 36–50.
Barth, E. M., and E.C.W. Krabbe, From Axiom to Dialogue, De Gruyter, 1982.
Belnap, N.D., ‘A useful four-valued logic’, in G. Epstein, J.M. Dunn (eds.), Modern Uses of Multiple-Valued Logic, 1977, pp. 8–37.
Blass A.: ‘A Game Semantics for Linear Logic’. Annals of Pure and Applied Logic 56, 183–220 (1992)
Ciabattoni, A., C. G. Fermüller, and G. Metcalfe, ‘Uniform rules and dialogue games for fuzzy logics’, LPAR 2004, Springer LNCS 3452, 2005, pp. 496–510.
Cignoli, R., I.M. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer, 2000.
Cornelis, C., G. Deschrijver, and E. E. Kerre, ‘Advances and challenges in interval-valued fuzzy logic’, Fuzzy Sets and Systems 157(5):622–627, March 2006.
Cornelis, C., O. Arieli, G. Deschrijver, and E. E. Kerre, ‘UncertaintyModeling by Bilattice-Based Squares and Triangles’, IEEE Transactions on fuzzy Systems 15(2):161–175, April 2007.
Cornelis C., Deschrijver G., Kerre E.E.: ‘Implication in intuitionistic and interval-valued fuzzy set theory: construction, classification, application’. Intl. J. of Approximate Reasoning 35, 55–95 (2004)
Dubois D.: ‘On ignorance and contradiction considered as truth-values’. Logic Journal of the IGPL 16(2), 195–216 (2008)
Dummett M.: ‘A propositional calculus with denumerable matrix’. J. Symbolic Logic 24, 97–106 (1959)
Ehrenfeucht A.: ‘An application of games to the completeness problem for formalized theories’. Fundamenta Mathematicae 49, 129–141 (1961)
Esteva F., Godo L., Hajek P., Montagna F.: ‘Hoops and Fuzzy Logic’. Journal of Logic and Computation 13(4), 532–555 (2003)
Esteva, F., P. Garcia-Calvés, and L. Godo, ‘Enriched interval bilattices: An approach to deal with uncertainty and imprecision’, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1:37–54, March 1994.
Felscher W.: ‘Dialogues, strategies, and intuitionistic provability’. Annals of Pure and Applied Logic 28, 217–254 (1985)
Felscher, W., ‘Dialogues as Foundation for Intuitionistic Logic, in D. Gabbay and F. Günther (eds.), Handbook of Philosophical Logic, III, Reidel, 1986, pp. 341–372.
Fermüller C.G.: ‘Theories of vagueness versus fuzzy logic: Can logicians learn from philosophers?’. Neural Network World 13(5), 455–466 (2003)
Fermüller, C.G., Parallel Dialogue Games and Hypersequents for Intermediate Logics’, TABLEAUX 2003, LNCS, Springer 2796, 2003, pp. 48–64.
Fermüller, C.G., ‘Dialogue Games for Modelling Proof Search in Nonclassical Logics’, FTP’2003, International Workshop on First-Order Theorem Proving, I. Dahn, L. Vigneron (eds.), Technical Report DISC-II/10/03, U. de Politécnica de Valencia.
Fermüller, C.G., ‘Revisiting Giles: Connecting Bets, Dialogue Games’, and Fuzzy Logics, in O. Majer, A.-V. Pietarinen, and T. Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy, LEUS, Springer (in press).
Fermüller, C.G., and A. Ciabattoni, ‘From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games’, 33rd International Symposium on Multiple Valued Logic (ISMVL 2003), Meiji University, Tokyo, Japan, IEEE Computer Society, Los Alamitos, pp. 188–195.
Fermüller, C.G., and R. Kosik, ‘Combining Supervaluation and Degree Based Reasoning Under Vagueness’, LPAR 2006, LNCS 4246, Springer, 2006, pp. 212–226.
Fermüller, C.G., and N. Preining, ‘A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth’, Proceedings of InTech‘03, 2003.
Fine K.: ‘Vagueness, truth and logic’. Synthése 30, 265–300 (1975)
Giles R.: ‘A non-classical logic for physics’. Studia Logica 33(4), 399–417 (1974)
Giles R.: ‘Łukasiewicz logic and fuzzy set theory’. International Journal of ManMachine Studies 8(3), 313–327 (1976)
Giles, R., ‘A non-classical logic for physics’, in R.Wojcicki and G. Malinowski (eds.), Selected Papers on Łukasiewicz Sentential Calculi, Polish Academy of Sciences, 1977, pp. 13–51.
Ginsberg M. L.: ‘Multivalued logics: a uniform approach to reasoning in artificial intelligence’. Computational Intelligence 4(3), 265–316 (1988)
Hájek, P.,Metamathematics of Fuzzy Logic, Kluwer, 1998.
Hájek, P., ‘On vagueness, truth values and fuzzy logics’, Submitted.
Hansen, P.G. , and V. F. Hendricks (eds.), Game Theory: 5 Questions, Automatic Press / VIP, 2007.
Hintikka J.: Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Clarendon Press, Oxford (1973)
Japaridze G.: ‘Introduction to computability logic’. Annals of Pure and Applied Logic 123, 1–99 (2003)
Krabbe E.C.W.: ‘Formal Systems of Dialogue Rules’. Synthese 63, 295–328 (1985)
Lorenzen, P. , ‘Logik und Agon’, in Atti Congr. Intern. di Filosofia, Vol. 4 (Sansoni, Firenze 1960), 1960, pp. 187–194.
Mundici D.: ‘Ulam’s game, Łukasiewicz logic and C*-algebras’. Fundamenta Informaticae 18, 151–161 (1993)
Pottinger G.: ‘Uniform, cut-free formulations of T, S4, and S5’ (abstract). Journal of Symbolic Logic 48(3), 900 (1983)
Rahman, S., Synthese Über Dialoge, Protologische Kategorien und andere Seltenheiten, Europäische Hochschulschriften, Peter Lang, 1993.
Rahman, S., and H. Rückert (eds.), ‘Special issue on ‘Dialogic Logic", Synthese127:1–2, April 2001.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fermüller, C.G. Dialogue Games for Many-Valued Logics — an Overview. Stud Logica 90, 43–68 (2008). https://doi.org/10.1007/s11225-008-9143-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-008-9143-4