A Sequent Calculus for Nominal Logic.

Murdoch Gabbay James Cheney

Published in: LICS (2004)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
wide class
proof search
classical logic
logical framework
theorem prover
situation calculus
expert systems
temporal logic
fixed point
programming language