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 条

[41] ANOTHER INTUITIONISTIC COMPLETENESS PROOF
DESWART, H
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (03) : 644 - 662
[42] Evidential completeness and the burden of proof
Nance, DA
HASTINGS LAW JOURNAL, 1998, 49 (03) : 621 - +
[43] A semantic completeness proof for TaMeD
Bonichon, Richard
Hermant, Olivier
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 167 - +
[44] A proof of the completeness of Lamb modes
Akian, Jean-Luc
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2022, 45 (03) : 1402 - 1419
[45] ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS
RAMESH, S
INFORMATION PROCESSING LETTERS, 1990, 36 (04) : 195 - 201
[46] SUFFICIENT AND NECESSARY CONDITION FOR COMPLETENESS OF A CALCULUS
ANDREKA, H
GERGELY, T
NEMETI, I
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (05): : 433 - 434
[47] CONSISTENCY AND COMPLETENESS OF REWRITING IN THE CALCULUS OF CONSTRUCTIONS
Walukiewicz-Chrzaszcz, Daria
Chrzaszcz, Jacek
LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (03)
[48] COMPLETENESS RESULTS FOR LAMBEK SYNTACTIC CALCULUS
BUSZKOWSKI, W
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 13 - 28
[49] Incidence calculus on Lukasiewicz's three-valued logic
Qi, GL
Milligan, P
Sage, P
FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378
[50] Resolution and model building in the infinite-valued calculus of Lukasiewicz
Department of Computer Science, University of Milan, Via Comelico 39-41, 20135 Milan, Italy
不详
Theor Comput Sci, 1-2 (335-366):

← 1 2 3 4 5 →