Login / Signup

Resolution Strategies for the Intuitionistic Logic.

Grigori Mints
Published in: NATO ASI CP (1993)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • artificial intelligence
  • knowledge base
  • natural deduction