Functor to IMTL Algebras: The Linearly Ordered Case.

Published in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)