An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule

Baaz, Matthias; Veith, Helmut

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}
}