A bounded translation of intuitionistic propositional logic into basic propositional logic

被引：0
|
作者：
Aghaei, M
Ardeshir, M
机构：
[1] Inst Studies Theoret Phys & Math, Tehran, Iran
[2] Sharif Univ Technol, Dept Math, Tehran, Iran
来源：
MATHEMATICAL LOGIC QUARTERLY | 2000年 / 46卷 / 02期
关键词：
basic logic; intuitionistic logic; bounded translation;
D O I：
10.1002/(SICI)1521-3870(200005)46:2<199::AID-MALQ199>3.0.CO;2-B
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound an the translation, depending on the complexity of formulas.
引用
收藏
页码：199 / 206
页数：8
相关论文
共 50 条
12345