A geometric proof of the completeness of the Łukasiewicz calculus
- 1 June 1995
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 60 (2) , 563-578
- https://doi.org/10.2307/2275851
Abstract
We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.Keywords
This publication has 8 references indexed in Scilit:
- Complete Symmetric Varieties II Intersection theoryPublished by Mathematical Society of Japan (Project Euclid) ,2018
- Convex Bodies and Algebraic GeometryPublished by Springer Nature ,1987
- Interpretation of AF C∗-algebras in Łukasiewicz sentential calculusJournal of Functional Analysis, 1986
- Schauder Bases in Banach Spaces of Continuous FunctionsLecture Notes in Mathematics, 1982
- Introduction to Piecewise-Linear TopologyPublished by Springer Nature ,1972
- A new proof of the completeness of the Łukasiewicz axiomsTransactions of the American Mathematical Society, 1959
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958