Login / Signup

Relevant Variants of Intuitionistic Logic.

Yaroslav Shramko
Published in: Log. J. IGPL (1994)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • expert systems