Generalization of Blocks for D-Lattices and Lattice-Ordered Effect Algebras

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

Effect algebras and unsharp quantum logics

David J. Foulis, M. K. Bennett · Foundations of Physics · 1994 · 868 citations

Computing, Computer Science, Physics +10

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

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

Natural Sciences, Mathematics, Algebra +7

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

Toward a formal language for unsharp properties

Roberto Giuntini, Heinz Greuling · Foundations of Physics · 1989 · 200 citations

Computing, Computer Science, Formal Methods +9