Effective Cut-elimination for a Fragment of Modal mu-calculus.

Published in: Stud Logica (2012)

Keyphrases

sequent calculus
cut elimination
modal logic
inference rules
natural deduction
wide class
high dimensional
data model
general purpose
partial order
linear logic