A GEOMETRIC PROOF OF THE COMPLETENESS OF THE LUKASIEWICZ CALCULUS

Authors
PANTI G
Citation
G. Panti, A GEOMETRIC PROOF OF THE COMPLETENESS OF THE LUKASIEWICZ CALCULUS, The Journal of symbolic logic, 60(2), 1995, pp. 563-578
Citations number
14
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
60
Issue
2
Year of publication
1995
Pages
563 - 578
Database
ISI
SICI code
0022-4812(1995)60:2<563:AGPOTC>2.0.ZU;2-A
Abstract
We give a self-contained geometric proof of the completeness theorem f or the infinite-valued sentential calculus of Lukasiewicz.