Pascal in LCF: Semantics and Examples of Proof.

Luigia Carlucci Aiello Mario Aiello Richard W. Weyhrauch

Published in: Theor. Comput. Sci. (1977)

Keyphrases

proof theory
logical rules
neural network
training examples
semantic information
proof theoretic
complete axiomatization
information systems
natural language
data model
formal semantics
conditional logic
model theoretic