“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 46
School of Mathematics
  Title:   A translation of intuitionistic predicate logic into basic predicate logic
  Author(s):  M. Ardeshir
  Status:   Published
  Journal: Studia Logica
  Vol.:  62
  Year:  1999
  Pages:   341-352
  Supported by:  IPM
Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula φ in the language
{∨, ∧,→, T, ⊥,∀, ∃}, we associate two sequences of formulas
< φ01, … > and < φ0, φ1,… > in the same language. We prove that for every sequent φ⇒ ψ, there are natural numbers m,n, such that IQC \vdash φ⇒ ψ iff BQC \vdashφn ⇒ ψm. Some applications of this translation are mentioned.

Download TeX format
back to top
scroll left or right