Loading...

A bounded translation of intuitionistic prepositional logic into basic propositional logic

Aghaei, M ; Sharif University of Technology | 2000

60 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/(SICI)1521-3870(200005)46:2<199::AID-MALQ199>3.0.CO;2-B
  3. Publisher: Wiley-VCH Verlag , 2000
  4. Abstract:
  5. In this paper we prove a bounded translation of intuitionistic prepositional 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
  6. Keywords:
  7. Basic logic ; Bounded translation ; Intuitionistic logic
  8. Source: Mathematical Logic Quarterly ; Volume 46, Issue 2 , 2000 , Pages 199-206 ; 09425616 (ISSN)
  9. URL: https://onlinelibrary.wiley.com/doi/abs/10.1002/%28SICI%291521-3870%28200005%2946%3A2%3C199%3A%3AAID-MALQ199%3E3.0.CO%3B2-B