Portal de Periódicos da CAPES

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

2000; Wiley; Volume: 46; Issue: 2 Linguagem: Inglês

10.1002/(sici)1521-3870(200005)46

1521-3870

Mojtaba Aghaei, Mohammad Ardeshir,

Advanced Algebra and Logic

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 on the translation, depending on the complexity of formulas.