Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:54, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. |
scientific article |
Statements
Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (English)
0 references
18 May 2016
0 references
\textit{Generalized MV algebras}, or \textit{GMV algebras} for short, are ``simultaneous generalizations of MV algebras to the noncommutative, unbounded and nonintegral case'', while \textit{IGMV algebras} are integral GMV algebras. In the paper [\textit{N. Galatos} and \textit{C. Tsinakis}, J. Algebra 283, No. 1, 254-291 (2005; Zbl 1063.06008)] it was proved in fact that ``the categories of IGMV algebras and of negative cones of \(l\)-groups with a dense nucleus are equivalent''. This paper answers the natural conjecture ``that such an equivalence restricts to an equivalence of the subcategories whose objects are the projectable members of these classes of algebras''. The authors prove that, indeed, ``the categories of projectable IGMV algebras and of negative cones of projectable \(l\)-groups with a dense nucleus are equivalent''. Moreover, by adding the Gödel implication to an IGMV algebra, they introduce the notion of \textit{Gödel GMV algebra} -- as an algebra \((M,\wedge,\vee,\cdot,\backslash,/,\to,1)\) of type \((2,2,2,2,2,2,0)\) such that \((M,\wedge,\vee,\cdot,\backslash,/,1)\) is an IGMV algebra and \((M,\wedge,\vee,\cdot,\to,1)\) is a Gödel algebra. And they prove that there is an adjunction between the category of Gödel GMV algebras and a certain category. Reviewer's remarks: The readability of the paper is restricted by the use of the divisions (the ``Chinese sticks'') \(\backslash\), \(/\), instead of the implications \(\to\), \(\rightsquigarrow\) (\(y\to z=z/y\) and \(y\rightsquigarrow z=y\backslash z\)) coming from logic.
0 references
generalized MV algebras
0 references
integral GMV algebras
0 references
projectable IGMV algebras
0 references
negative cones of projectable \(l\)-groups
0 references
Gödel GMV algebras
0 references
equivalences of categories
0 references