A sequent calculus for relation algebras.

Roger D. Maddux

Published in: Ann. Pure Appl. Log. (1983)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
relation algebra
modal logic
linear time temporal logic
theorem prover
high level
general purpose
theorem proving
proof search