Parallel Dialogue Games and Hypersequents for Intermediate Logics.

Christian G. Fermller

Browse the full TABLEAUX paper archive.