A basic algebra is an MV-algebra if and only if it is a BCC-algebra (Q2426166): 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 07:07, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A basic algebra is an MV-algebra if and only if it is a BCC-algebra |
scientific article |
Statements
A basic algebra is an MV-algebra if and only if it is a BCC-algebra (English)
0 references
21 April 2008
0 references
Basic algebras are the algebras of \textit{P. Hájek}'s Basic Logic (see his monograph [Metamathematics of fuzzy logic. Dordrecht: Kluwer (1998; Zbl 0937.03030)]). MV-algebras were introduced by C. C. Chang to give a proof of the completeness theorem for Łukasiewicz infinite-valued propositional logic (see the monograph [\textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer (2000; Zbl 0937.06009)]). BCK-algebras were introduced by \textit{K. Iséki} and \textit{S. Tanaka} [Math. Jap. 23, 1--26 (1978; Zbl 0385.03051)]. BCC-algebras are BCK-algebras satisfying the Exchange Identity: \(x\to (y\to z)= y\to (x\to z)\). In the paper under review the authors prove that a basic algebra is an MV-algebra iff it is a BCC-algebra.
0 references
MV-algebra
0 references
Łukasiewicz logic
0 references
basic algebra
0 references
BCK-algebra
0 references
BCC-algebra
0 references