On Implication Algebras Based on Lattices and Their Dual Algebras
Zhu Yi-quan
Abstract
Zhu Yi-quan
Abstract
This paper gives out that the relationship among lattice implication algebras, MV algebras, R0 algebras and other implication algebras based on lattices, and their dual algebras are established. Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper gives out that the relationship among lattice implication algebras, MV algebras, R0 algebras and other implication algebras based on lattices, and their dual algebras are established. Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
Key concepts: Mathematics, Dual (grammatical number), Interior algebra, Lattice (music), Nest algebra, Non-associative algebra, Jordan algebra, Pure mathematics