Login / Signup

The Semantic Completeness of a Global Intuitionistic Logic.

Hiroshi Aoyama
Published in: Math. Log. Q. (1998)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • artificial intelligence
  • semantic web