A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC

被引：3

作者：

Gore, Rajeev ^{[1
]}

Thomson, Jimmy ^{[1
]}

机构：

[1] Australian Natl Univ, Res Sch Comp Sci, Canberra, ACT 0200, Australia

来源：

JOURNAL OF SYMBOLIC LOGIC | 2019年 / 84卷 / 02期

关键词：

intuitionistic logic; modal logic; polynomial translations;

D O I：

10.1017/jsl.2017.66

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernandez is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.

引用

页码：439 / 451

页数：13