A Desk-Top Sequent Calculus Machine.

Gianna Cioni Attilio Colagrossi Alfonso Miola

Published in: AISMC (1992)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
general purpose
pairwise
partial order