Labelled Calculi for Lukasiewicz Logics

Didier Galmiche, Y. Salhi. Labelled Calculi for Lukasiewicz Logics. In Wilfrid Hodges, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Volume 5110 of Lecture Notes in Computer Science, pages 194-207, Springer, 2008. [doi]

Abstract

Abstract is missing.