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 条

[21] ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
CITKIN, AI
MATHEMATICS OF THE USSR-SBORNIK, 1977, 31 (02): : 279 - 288
[22] Propositional Logic as a Propositional Fuzzy Logic
Callejas Bedregal, Benjamin Rene
Cruz, Anderson Paiva
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
[23] Interpreting intuitionistic propositional logic in terms of intuitionistic protothetics
Yashin A.D.
Algebra and Logic, 2002, 41 (1) : 59 - 64
[24] Justification logic and type theory as formalizations of intuitionistic propositional logic
DeBoer, Neil J.
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (08) : 1531 - 1557
[25] Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
Hendriks, L
ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 97 - 112
[26] The intuitionistic fragment of computability logic at the propositional level
Japaridze, Giorgi
ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (03) : 187 - 227
[27] A new regular constant in intuitionistic propositional logic
Yashin, AD
SIBERIAN MATHEMATICAL JOURNAL, 1996, 37 (06) : 1242 - 1258
[28] FCUBE: An Efficient Prover for Intuitionistic Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
Fiorino, Guido
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 294 - +
[29] Absolute Probability Functions for Intuitionistic Propositional Logic
Peter Roeper
Hugues Leblanc
Journal of Philosophical Logic, 1999, 28 : 223 - 234
[30] The Lambek Calculus Extended with Intuitionistic Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2016, 104 : 1051 - 1082

← 1 2 3 4 5 →