THE MODAL LOGIC OF PROVABILITY, CUT-ELIMINATION

被引：24

作者：

VALENTINI, S

机构：

来源：

关键词：

D O I：

10.1007/BF00249262

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

页码：471 / 476

页数：6

相关论文

共 5 条

[1]

AVRON A, UNPUB J SYMBOLIC LOG

[2]

BELLIN G, UNPUB THEORIA

[3]

Boolos George, 1979, UNPROVABILITY CONSIS

LEIVANT, D .

[5] THE MODAL LOGIC OF PROVABILITY - THE SEQUENTIAL APPROACH [J].

SAMBIN, G ;

VALENTINI, S ;

MONTAGNA, F .