A note on sequent calculi intermediate between LJ and LK.

Branislav R. Boricic

Published in: Stud Logica (1988)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
artificial intelligence
graph cuts