A Survey of Nonstandard Sequent Calculi.

Andrzej Indrzejczak

Published in: Stud Logica (2014)

Keyphrases

sequent calculi
cut elimination
modal logic
conditional logic
artificial intelligence
search algorithm
fixed point
decision procedures