Using Linear Logic to Reason about Sequent Systems.

Dale Miller Elaine Pimentel

Published in: TABLEAUX (2002)

Keyphrases

linear logic
sequent calculus
cut elimination
machine learning
decision making
expert systems
partial order
finite state machines
intuitionistic logic