Differences

This shows you the differences between two versions of the page.

commutative_residuated_partially_ordered_monoids [2019/12/10 17:21]
pnotthesamejipsen
commutative_residuated_partially_ordered_monoids [2019/12/12 08:00] (current)
pnotthesamejipsen
Line 8: Line 8:
$\cdot$ is \emph{commutative}:  $xy=yx$ $\cdot$ is \emph{commutative}:  $xy=yx$
-Remark: These algebras are also known as \emph{lineales}.[(dePavia2005)]+Remark: These algebras are also known as \emph{lineales}.[(dePaiva2005)]
==Morphisms== ==Morphisms==
Line 72: Line 72:
====References==== ====References====
-[(dePavia2005+[(dePaiva2005
-V. de Pavia, \emph{Lineales: Algebras and Categories in the Semantics of Linear Logic}, Proofs and Diagrams, CSLI Publications, Stanford, 123-142, 2005, [[https://research.nuance.com/wp-content/uploads/2014/10/Lineales-algebras-and-categories-in-the-semantics-of-Linear-Logic.pdf]])]+V. de Paiva, \emph{Lineales: Algebras and Categories in the Semantics of Linear Logic}, Proofs and Diagrams, CSLI Publications, Stanford, 123-142, 2005, [[https://research.nuance.com/wp-content/uploads/2014/10/Lineales-algebras-and-categories-in-the-semantics-of-Linear-Logic.pdf]])]