A polynomial translation of S4 into intuitionistic logic

被引：5

作者：

Fernandez, David ^{[1
]}

机构：

[1] Stanford Univ, Dept Math, Stanford, CA 94305 USA

来源：

关键词：

D O I：

10.2178/jsl/1154698587

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：989 / 1001

页数：13

相关论文

共 6 条

[1]

Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, V53

[2] EPISTEMIC AND INTUITIONISTIC FORMAL SYSTEMS [J].

FLAGG, RC ;

FRIEDMAN, H .

[3]

GODEL K, 1986, COLECTED WORKS

[4]

KRIPKE S, 1965, CROSSLEY FORMAL SYST, P92

[5]

Mints G., 2000, A Short Introduction to Intuitionistic Logic

[6]

Tarski A., 1938, Fundamenta Mathematicae, V31, P103