Conditions for permutability of congruences in implication algebras (Q841165): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Jaromír Duda / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jaromír Duda / 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/s11083-009-9123-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061607543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5556401 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3887460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposability of free Tarski algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Implication algebras are 3-permutable and 3-distributive / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank |
Latest revision as of 00:00, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Conditions for permutability of congruences in implication algebras |
scientific article |
Statements
Conditions for permutability of congruences in implication algebras (English)
0 references
14 September 2009
0 references
The paper studies permutable congruences on implication algebras, introduced by \textit{J. C. Abbott} in [Mat. Vesn., N. Ser. 4(19), 177--198 (1967; Zbl 0153.02704); Bull. Math. Soc. Sci. Math., Répub. Soc. Roum., Nouv. Sér. 11(59), 3--23 (1968; Zbl 0169.30401)]. The main result characterizes congruence permutability in terms of implication algebras. Then the criterion is simplified for finite implication algebras. A number of applications follow. First, some previously obtained theorems of \textit{W. H. Cornish} [Math. Jap. 25, 477--496 (1980; Zbl 0444.03035)] and \textit{J. P. Díaz Varela} and \textit{A. Torrens} [Algebra Univers. 50, No.~1, 1--5 (2003; Zbl 1091.03030)] are easily derived. Further, all congruences on finitely generated free implication algebras that permute with every other congruence are described.
0 references
implication algebra
0 references
permutable congruences
0 references