An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule (bibtex)
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}
}
Powered by bibtexbrowser