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 条

[21] Upper-Expectation Bisimilarity and Lukasiewicz μ-Calculus
Mio, Matteo
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 335 - 350
[22] Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus
Okada, Mitsuhiro
Takemura, Ryo
REWRITING, COMPUTATION AND PROOF: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4600 : 167 - +
[23] On the asymptotic completeness of the Volterra calculus
Ponge, R
Mikayelyan, H
JOURNAL D ANALYSE MATHEMATIQUE, 2004, 94 (1): : 249 - 263
[24] On the asymptotic completeness of the Volterra calculus
Raphaël Ponge
H. Mikayelyan
Journal d’Analyse Mathematique, 2004, 94 : 249 - 263
[25] ON THE SIMPLE COMPLETENESS OF THE PREDICATE CALCULUS ■
高恆珊
ScienceinChina,SerA., 1964, Ser.A.1964 (02) : 213 - 215
[26] Expressive completeness of duration calculus
Rabinovich, A
INFORMATION AND COMPUTATION, 2000, 156 (1-2) : 320 - 344
[27] SEMANTICS AND COMPLETENESS OF DURATION CALCULUS
HANSEN, MR
ZHOU, CC
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 209 - 225
[28] COMPLETENESS OF THE ZX-CALCULUS
Jeandel, Emmanuel
Perdrix, Simon
Vilmart, Renaud
LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (02) : 11:1 - 11:72
[29] Completeness of continuation models for γμ-calculus
Hofmann, M
Streicher, T
INFORMATION AND COMPUTATION, 2002, 179 (02) : 332 - 355
[30] ON THE SIMPLE COMPLETENESS OF THE PREDICATE CALCULUS ■
高恆珊
Science China Mathematics, 1964, (02) : 213 - 215

← 1 2 3 4 5 →