Marginalia on Sequent Calculi.

A. S. Troelstra

Published in: Stud Logica (1999)

Keyphrases

sequent calculi
conditional logic
cut elimination
modal logic
machine learning
search algorithm
search space
general purpose
nonmonotonic reasoning