A geometric proof of the completeness of the Lukasiewicz calculus
PANTI, Giovanni
1995
Periodico
THE JOURNAL OF SYMBOLIC LOGIC
Abstract
We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Lukasiewicz.
DOI
WOS
Archivio
Diritti
metadata only access