Login / Signup

Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approach.

Hiroakira Ono
Published in: Stud Logica (1986)
Keyphrases
  • intuitionistic logic
  • classical logic
  • default logic
  • linear logic
  • logic programming
  • modal logic
  • normal form
  • default reasoning
  • natural deduction
  • general purpose
  • nonmonotonic reasoning