Non-commutative Łukasiewicz propositional logic

Algebraic analysis of many valued logics

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

Natural Sciences, Computer Science, Mathematics +9

A new proof of the completeness of the Łukasiewicz axioms

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

Natural Sciences, Computer Science, Mathematics +9

Pseudo MV-algebras are intervals in ℓ-groups

Anatolij Dvurečenskij · Journal of the Australian Mathematical Society · 2002 · 213 citations · Full text

Natural Sciences, Mathematics, Algebra +8

A non-commutative generalization of MV-algebras

Jiří Rachůnek · Czechoslovak Mathematical Journal · 2002 · 207 citations

Natural Sciences, Mathematics, Algebra +8

On very true

Petr Hájek · Fuzzy Sets and Systems · 2001 · 169 citations