Cut-elimination for the mu-calculus with one variable

Grigori Mints Thomas Studer

Published in: FICS (2012)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
inference rules
wide class
modal logic
sequent calculi
sufficient conditions
linear time temporal logic
proof theoretic
theorem prover
proof search
first order logic
theorem proving
fixed point
knowledge base
logic programming
feature space