Titlebook: Ordered Algebraic Structures; Proceedings of the G Jorge Martínez Conference proceedings 2002 Springer Science+Business Media Dordrecht 200

HEED

The Bornological Tensor Product of two Riesz Spaces the projective tensor product, both introduced by Fremlin. We extend the results, even in these special cases, by considering maps of bounded variation rather than positive maps. This note is without proofs, but the proof and complete bornology background of a similar result are discussed elsewhere

漂浮

孤僻

magenta

MV-Algebras and Abelian ,-Groups: a Fruitful Interactionical propositional calculus. As stated by Chang in his original paper, “MV is supposed to suggest many-valued logics … for want of a better name”. The name has stuck. After some decades of relative quiescency, MV-algebras are today intensely investigated. On the one hand, these algebras find applica

extinct

結(jié)合

Focus-Words

exclusice

Non-distributive Cancellative Residuated Latticesoccurred about residuated lattice orders on free monoids and commutative free monoids. One of these questions is whether every residuated lattice order on a (commutative) free monoid is distributive, a fact known about l-groups. We will construct two examples that shows that this is not necessarily

鎮(zhèn)壓

諂媚于性

The Undecidability of the Word Problem for Distributive Residuated Latticesdecides whether or not any two given words in the absolutely free term algebra T.(X) represent the same element of A. If . contains such an algebra A, we say that it has an undecidable word problem. (It is well known that the word problem for the varieties of semigroups, groups and l-groups is undec