<p>We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations (<i>n</i>-potent varieties, knotted varieties), and cancellative varieties and their relatives (MV-algebras, BL-algebras). Along the way, we illustrate how general-purpose tools developed to study amalgamation can be brought to bear in these contexts and solve some of the remaining open questions concerning amalgamation in semilinear varieties. Among other things, we show that the variety of commutative semilinear residuated lattices does not have the amalgamation property. Taken as a whole, we see that amalgamation is well understood in most interesting varieties of semilinear residuated lattices, with the last few outstanding open questions remaining principally in the cancellative setting.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Amalgamation in Semilinear Residuated Lattices

  • Wesley Fussner,
  • Simon Santschi

摘要

We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations (n-potent varieties, knotted varieties), and cancellative varieties and their relatives (MV-algebras, BL-algebras). Along the way, we illustrate how general-purpose tools developed to study amalgamation can be brought to bear in these contexts and solve some of the remaining open questions concerning amalgamation in semilinear varieties. Among other things, we show that the variety of commutative semilinear residuated lattices does not have the amalgamation property. Taken as a whole, we see that amalgamation is well understood in most interesting varieties of semilinear residuated lattices, with the last few outstanding open questions remaining principally in the cancellative setting.