An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Lukasiewicz
Studia Logica 58 (1):79-97 (1997)
| Abstract | The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDon Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
L. P. Belluce & C. C. Chang (1963). A Weak Completeness Theorem for Infinite Valued First-Order Logic. Journal of Symbolic Logic 28 (1):43-50.
Thomas Studer (2008). On the Proof Theory of the Modal Mu-Calculus. Studia Logica 89 (3):343 - 363.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Helena Rasiowa (1979). Algorithmic Logic. Multiple-Valued Extensions. Studia Logica 38 (4):317 - 335.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Giovanni Panti (1995). A Geometric Proof of the Completeness of the Łukasiewicz Calculus. Journal of Symbolic Logic 60 (2):563-578.
Daniele Mundici (1994). A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic. Journal of Symbolic Logic 59 (2):596-602.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,547 of 549,051 )Recent downloads (6 months)1 ( #63,185 of 549,051 )How can I increase my downloads? |
My notes
Discussion
