“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 46  


Abstract:  
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
< φ_{0},φ_{1}, … > 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 