Journal of Logic and Computation Advance Access published online on September 13, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp060
Original Papers |
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
Institute for Discrete Mathematics and Geometry, Technical University of Vienna, Wiedner Hauptstrasse 8-10, A–1040 Vienna, Austria; Institute of Mathematics and Informatics, University of Pécs, Ifjúság u. 6, H–7624 Pécs, Hungary.
E-mail: jenei{at}logic.at
Received 5 October 2008.
| Abstract |
|---|
The main philosophical outcome of this article is to demonstrate that the structural description of residuated lattices requires the use of the co-residuated setting. A construction, called skew symmetrization, which generalizes the well-known representation of an ordered Abelian group obtained from the positive (or negative) cone of the algebra is introduced here. Its definition requires leaving the accustomed residuated setting and entering the co-residuated setting. It is shown that every uninorm on [0, 1] with an involution defined by the residual complement with respect to the unit and having the unit as the fixed point of the involution can be described as the skew symmetrization of its underlying t-norm or underlying t-conorm.
Keywords: Associativity; residuation; co-residuation; skew symmetrization; uninorm; structure theory