An Analytic Calculus for Quantified Propositional Gdel Logic.

Matthias Baaz, Christian G. Fermller, Helmut Veith

Browse the full TABLEAUX paper archive.