by Matthias Baaz, Helmut Veith
Reference:
An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani ruleMatthias Baaz, Helmut VeithLogic Colloquium 1998, volume 13 of Lecture Notes in Logic, pages 91–104, 2000, Association for Symbolic Logic.
Bibtex Entry:
@inproceedings{BaazVeith99LC,
author = {Matthias Baaz and Helmut Veith},
title = {An axiomatization of quantified proposition {G\"odel} logic using the
{Takeuti}-{Titani} rule},
year = {2000},
address = {Prague},
booktitle = {Logic Colloquium 1998},
pages = {91--104},
publisher = {Association for Symbolic Logic},
series = {Lecture Notes in Logic},
volume = {13},
isbn = {1-56881-113-6}
}