Interpolation for a Sequent Calculus of Generalized Quantifiers.

Natasha Alechina

Browse the full TABLEAUX paper archive.