A Natural Deduction treatment of Operational Semantics.

Rod M. Burstall Furio Honsell

Published in: FSTTCS (1988)

Keyphrases

operational semantics
natural deduction
theorem prover
formal semantics
inference rules
theorem proving
mental states
model theoretic
sequent calculus
cut elimination
intuitionistic logic
denotational semantics
first order logic
linear time temporal logic
data model
linear logic
knowledge base