A translation of intuitionistic predicate logic into basic predicate logic

Studia Logica 62 (3):341-352 (1999)
  Copy   BIBTEX


Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.



    Upload a copy of this work     Papers currently archived: 86,507

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

63 (#219,565)

6 months
2 (#525,456)

Historical graph of downloads
How can I increase my downloads?