Quantified Propositional Gdel Logics.

Matthias Baaz, Agata Ciabattoni, Richard Zach

Browse the full LPAR paper archive.