Towards the Generalization of Mundici s ::::Gamma:::: Functor to IMTL Algebras: The Linearly Ordered Case

Francesc Esteva, Lluis Godo. Towards the Generalization of Mundici s ::::Gamma:::: Functor to IMTL Algebras: The Linearly Ordered Case. In Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra, editors, Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Volume 4460 of Lecture Notes in Computer Science, pages 127-137, Springer, 2006. [doi]

Abstract

Abstract is missing.