Concepedia

A geometric proof of the completeness of the Łukasiewicz calculus

Giovanni Panti

Journal of Symbolic Logic · 1995 · 40 citations · 8 references

DOI

Concepts

Abstract

Abstract We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.

References

8

Algebraic analysis of many valued logics

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

, , +9

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

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

, , +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

, , +9

A theorem about infinite-valued sentential logic

Robert McNaughton · Journal of Symbolic Logic · 1951 · 283 citations

, , +9

Fragments of many-valued statement calculi

Alan Rose, J. Barkley Rosser · Transactions of the American Mathematical Society · 1958 · 198 citations · Full text

, , +9