Login / Signup
Inducing syntactic cut-elimination for indexed nested sequents.
Revantha Ramanayake
Published in:
CoRR (2017)
Keyphrases
</>
sequent calculus
cut elimination
linear logic
inference rules
compositional semantics
modal logic
sequent calculi
natural deduction
natural language
logic programming
linear time temporal logic
fixed point
proof search
logical framework
desirable properties
classical logic
logic programs
knowledge base