Login / Signup

A Strong Completeness Theorem for Pragmatics.

Daniel Vanderveken
Published in: Math. Log. Q. (1981)
Keyphrases
  • natural language processing
  • knowledge base
  • high quality
  • formal semantics
  • von neumann
  • formal proofs