A note on the Sequent Calculi.

Franco Parlamento Flavio Previale

Published in: Rev. Symb. Log. (2022)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
high dimensional
general purpose
wide class