The Semantics of Reflected Proof

Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken

Published in: LICS (1990)

Keyphrases

proof theory
complete axiomatization
proof theoretic
formal semantics
precise definition
logical rules
semantic information
theorem proving
default reasoning
linear logic
artificial intelligence
conceptual model
semantic relationships
higher order logic