Login / Signup

Writing out unifiers for formulas with coefficients in intuitionistic logic.

Vladimir V. Rybakov
Published in: Log. J. IGPL (2013)
Keyphrases
  • intuitionistic logic
  • linear logic
  • classical logic
  • natural deduction
  • proof theoretic
  • equational theories
  • logic programming
  • expert systems
  • normal form