Conditions for permutability of congruences in implication algebras (Q841165): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
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