Web-geometric Approach to Totally Ordered Monoids

Abstrakt

The semantical part of the monoidal t-norm based logic (MTL) is represented by MTL-algebras. MTL-algebras are lattice-based, however, it is known that each one is a subdirect product of MTL-chains. Therefore, in order to investigate their monoidal operations, it is usually sufficient to focus on integral tomonoids. In this paper, we intend to investigate tomonoids, more specifically, we intend to give a visual interpretation of their associativity.

Kategorie a štítky

  • Abstrakt