Labelled Sequent Calculus for Inquisitive Logic.

Jinsheng Chen Minghui Ma

Published in: LORI (2017)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
natural deduction
modal logic
linear time temporal logic
wide class
proof search
classical logic
temporal logic
sufficient conditions
first order logic
expert systems
fixed point
logical framework