• 3
  • 3
  • 82
  • 82
IPM
30
YEARS OLD

“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
  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
< φ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
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right