A GEOMETRIC PROOF OF THE COMPLETENESS OF THE LUKASIEWICZ CALCULUS

被引：26
|
作者：
PANTI, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1995年 / 60卷 / 02期
关键词：
D O I：
10.2307/2275851
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Lukasiewicz.
引用
收藏
页码：563 / 578
页数：16
相关论文
共 50 条
12345