Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
\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. | |||
Property / review text: \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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Afrodita Iorgulescu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B47 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6581943 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized MV algebras | |||
Property / zbMATH Keywords: generalized MV algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integral GMV algebras | |||
Property / zbMATH Keywords: integral GMV algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projectable IGMV algebras | |||
Property / zbMATH Keywords: projectable IGMV algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
negative cones of projectable \(l\)-groups | |||
Property / zbMATH Keywords: negative cones of projectable \(l\)-groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gödel GMV algebras | |||
Property / zbMATH Keywords: Gödel GMV algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivalences of categories | |||
Property / zbMATH Keywords: equivalences of categories / rank | |||
Normal rank |
Revision as of 19:26, 27 June 2023
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