From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic

Christian G. Fermüller, Timo Lang, Alexandra Pavlova. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. In Marie-Jeanne Lesot, Susana M. Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, Ronald R. Yager, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part I. Volume 1237 of Communications in Computer and Information Science, pages 257-270, Springer, 2020. [doi]

Authors

Christian G. Fermüller

This author has not been identified. Look up 'Christian G. Fermüller' in Google

Timo Lang

This author has not been identified. Look up 'Timo Lang' in Google

Alexandra Pavlova

This author has not been identified. Look up 'Alexandra Pavlova' in Google