Login / Signup

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.

Vladimir V. RybakovMehmet TerzilerVitaliy Remazki
Published in: Math. Log. Q. (2000)
Keyphrases
  • intuitionistic logic
  • classical logic
  • natural deduction
  • linear logic
  • natural language
  • software engineering
  • constraint satisfaction problems
  • normal form