Proof of Translation in Natural Semantics

Joëlle Despeyroux

Published in: LICS (1986)

Keyphrases

proof theory
complete axiomatization
formal semantics
proof theoretic
precise definition
man made
semantic information
higher order logic
theorem prover
logic programming
real world
conditional logic
logical rules
theorem proving
cross language information retrieval
target language
information retrieval