Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Diego N. Castaño / rank | |||
Property / author | |||
Property / author: Antoni Torrens Torrell / rank | |||
Property / author | |||
Property / author: Diego N. Castaño / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Antoni Torrens Torrell / rank | |||
Normal rank | |||
Property / review text | |||
A residuated lattice is an algebra \({\mathbf A}=\langle A,\wedge,\vee,\cdot,\rightarrow,0,1\rangle\) of type \((2,2,2,2,0,0)\) such that \(\langle A,\wedge,\vee,0,1\rangle\) is a bounded lattice with least element \(0\) and greatest element \(1\), \(\langle A,\cdot,1\rangle\) is a commutative monoid and for all \(a,b,c\in A\) the so-called residuation condition holds: \(a\cdot b\leq c\) if and only if \(a\leq b\rightarrow c\). This residuation condition can be replaced by two equations, and therefore residuated lattices form a variety, denoted by \(\mathbb{RL}\) (it is the algebraic counterpart of the full Lambek logic without contraction). The present paper studies free algebras in the variety \(\mathbb{RL}\) and in some of its subvarieties, in particular in the variety \(\mathbb H\) of Heyting algebras (satisfying \(x\cdot y=x\wedge y\)) and the variety \(\mathbb{IRL}\) of involutive residuated lattices (satisfying \((x\rightarrow0)\rightarrow0=x\)). The paper contains six sections. Section~1 is the introduction; in Section~2 some basic results about residuated lattices (and their implicative filters) are collected; in Section~3 some well-known facts about complemented elements in residuated lattices (and their relation to decomposability) are reviewed. The two latter sections enable also readers who are not so familiar with residuated lattices to understand the next Sections~4 and 5, the core of the article, which deal with indecomposability of free algebras. In particular, Section~4 proves the following main result: The varieties \(\mathbb{RL}\), \(\mathbb{IRL}\) and \(\mathbb H\) have all their free algebras directly indecomposable. (It is well known that this result also holds for the variety of MV-algebras.) In the last Section~6, results of Sections~4 and 5 are extended to the corresponding \(\langle\rightarrow,0,1\rangle\)-reducts. Finally, let us note that the paper is written quite clearly and in a very good style and contains a representative list of 19 references. | |||
Property / review text: A residuated lattice is an algebra \({\mathbf A}=\langle A,\wedge,\vee,\cdot,\rightarrow,0,1\rangle\) of type \((2,2,2,2,0,0)\) such that \(\langle A,\wedge,\vee,0,1\rangle\) is a bounded lattice with least element \(0\) and greatest element \(1\), \(\langle A,\cdot,1\rangle\) is a commutative monoid and for all \(a,b,c\in A\) the so-called residuation condition holds: \(a\cdot b\leq c\) if and only if \(a\leq b\rightarrow c\). This residuation condition can be replaced by two equations, and therefore residuated lattices form a variety, denoted by \(\mathbb{RL}\) (it is the algebraic counterpart of the full Lambek logic without contraction). The present paper studies free algebras in the variety \(\mathbb{RL}\) and in some of its subvarieties, in particular in the variety \(\mathbb H\) of Heyting algebras (satisfying \(x\cdot y=x\wedge y\)) and the variety \(\mathbb{IRL}\) of involutive residuated lattices (satisfying \((x\rightarrow0)\rightarrow0=x\)). The paper contains six sections. Section~1 is the introduction; in Section~2 some basic results about residuated lattices (and their implicative filters) are collected; in Section~3 some well-known facts about complemented elements in residuated lattices (and their relation to decomposability) are reviewed. The two latter sections enable also readers who are not so familiar with residuated lattices to understand the next Sections~4 and 5, the core of the article, which deal with indecomposability of free algebras. In particular, Section~4 proves the following main result: The varieties \(\mathbb{RL}\), \(\mathbb{IRL}\) and \(\mathbb H\) have all their free algebras directly indecomposable. (It is well known that this result also holds for the variety of MV-algebras.) In the last Section~6, results of Sections~4 and 5 are extended to the corresponding \(\langle\rightarrow,0,1\rangle\)-reducts. Finally, let us note that the paper is written quite clearly and in a very good style and contains a representative list of 19 references. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: G. Eigenthaler / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06B25 / 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: 06D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6035811 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
residuated lattices | |||
Property / zbMATH Keywords: residuated lattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free algebras | |||
Property / zbMATH Keywords: free algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subvarieties | |||
Property / zbMATH Keywords: subvarieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bounded BCK-algebras | |||
Property / zbMATH Keywords: bounded BCK-algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heyting algebras | |||
Property / zbMATH Keywords: Heyting algebras / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00500-010-0683-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2028438177 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Basic hoops: an algebraic study of continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Glivenko like theorems in natural expansions of BCK-logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean representation of bounded BCK-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4200260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3218120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics without the contraction rule / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2752409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to the disjunction property of substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3666901 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3666903 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:07, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts |
scientific article |
Statements
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (English)
0 references
16 May 2012
0 references
A residuated lattice is an algebra \({\mathbf A}=\langle A,\wedge,\vee,\cdot,\rightarrow,0,1\rangle\) of type \((2,2,2,2,0,0)\) such that \(\langle A,\wedge,\vee,0,1\rangle\) is a bounded lattice with least element \(0\) and greatest element \(1\), \(\langle A,\cdot,1\rangle\) is a commutative monoid and for all \(a,b,c\in A\) the so-called residuation condition holds: \(a\cdot b\leq c\) if and only if \(a\leq b\rightarrow c\). This residuation condition can be replaced by two equations, and therefore residuated lattices form a variety, denoted by \(\mathbb{RL}\) (it is the algebraic counterpart of the full Lambek logic without contraction). The present paper studies free algebras in the variety \(\mathbb{RL}\) and in some of its subvarieties, in particular in the variety \(\mathbb H\) of Heyting algebras (satisfying \(x\cdot y=x\wedge y\)) and the variety \(\mathbb{IRL}\) of involutive residuated lattices (satisfying \((x\rightarrow0)\rightarrow0=x\)). The paper contains six sections. Section~1 is the introduction; in Section~2 some basic results about residuated lattices (and their implicative filters) are collected; in Section~3 some well-known facts about complemented elements in residuated lattices (and their relation to decomposability) are reviewed. The two latter sections enable also readers who are not so familiar with residuated lattices to understand the next Sections~4 and 5, the core of the article, which deal with indecomposability of free algebras. In particular, Section~4 proves the following main result: The varieties \(\mathbb{RL}\), \(\mathbb{IRL}\) and \(\mathbb H\) have all their free algebras directly indecomposable. (It is well known that this result also holds for the variety of MV-algebras.) In the last Section~6, results of Sections~4 and 5 are extended to the corresponding \(\langle\rightarrow,0,1\rangle\)-reducts. Finally, let us note that the paper is written quite clearly and in a very good style and contains a representative list of 19 references.
0 references
residuated lattices
0 references
free algebras
0 references
subvarieties
0 references
bounded BCK-algebras
0 references
Heyting algebras
0 references