“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 | |
