Monadic MV-algebras I: a study of subvarieties

Algebraic analysis of many valued logics

C. C. Chang · Transactions of the American Mathematical Society · 1958 · 1.3K citations

Algebraic Systems Mv-algebras, Algebraic Logic, Engineering +10

Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus

Daniele Mundici · Journal of Functional Analysis · 1986 · 694 citations

Algebraic Logic, Af C∗-algebras

A new proof of the completeness of the Łukasiewicz axioms

C. C. Chang · Transactions of the American Mathematical Society · 1959 · 399 citations · Full text

Algebraic Logic, Abstract Algebra, Representation Theory +11

Super-Łukasiewicz propositional logics

Yuichi Komori · Nagoya Mathematical Journal · 1981 · 92 citations · Full text

Engineering, Propositional Calculus, Automated Reasoning +9

Equational Characterization of All Varieties of MV-Algebras

Antonio Di Nola, Ada Lettieri · Journal of Algebra · 1999 · 68 citations

All Varieties, Algebraic Structure, Modern Algebra +1