Login / Signup
Conservativity for theories of compositional truth via cut elimination.
Graham E. Leigh
Published in:
CoRR (2013)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
inference rules
natural deduction
proof theoretic
sequent calculi
sufficient conditions
modal logic
general purpose
intuitionistic logic
linear time temporal logic
machine learning
state space