Structural Multi-type Sequent Calculus for Inquisitive Logic

Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1

In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…