A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)

Aleksi Anttila, Rosalie Iemhoff, Fan Yang

We introduce a sequent calculus for the propositional team logic with both the split disjunction and the inquisitive disjunction consisting of a Gentzen-style system (G3-like) for…