On the structure of rotation-invariant semigroups
type: Item
instance of: scholarly article
title: On the structure of rotation-invariant semigroups
zbMATH Open document ID: 1028.06009
author: Sándor Jenei
published in: Archive for Mathematical Logic
publication date: 2003-09-16T00:00:00Z
review text: A partially ordered set \((M,\leq)\) together with a binary operation \(*\) and an involution \('\) (i.e., an antitone bijection of \(M\) onto itself) is said to have the rotation invariance property with respect to \('\) if \(x*y\leq z\Leftrightarrow y*z'\leq x'\) for all \(x,y,z\in M\). It follows that \((M,*,\leq)\) is right and left residuated. This concept generalizes the notions of Girard monoid and MV-algebra and is studied, in particular, in the case where \((M,*,\leq)\) is a partially ordered semigroup. Several conclusions from the axioms are made and integrality of Girard monoids and divisibility of MV-algebras are deduced. Based on a geometrical characterization several construction methods for rotation invariant semigroups are presented. The motivation for investigating these algebraic structures comes from nonclassical logics such as: full Lambek calculus (with exchange or weakening), fuzzy logics, monoidal propositional calculus, and affine linear logic.
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 1982529
zbMATH Keywords: involution
zbMATH Keywords: rotation invariance
zbMATH Keywords: partially ordered semigroup
zbMATH Keywords: Girard monoids
zbMATH Keywords: MV-algebras
reviewed by: H. Mitsch
MaRDI profile type: Publication
full work available at URL: s00153-003-0182-2
OpenAlex ID: W1992148376
DOI: 10.1007/S00153-003-0182-2
description: scientific article; zbMATH DE number 1982529