An Analytic Calculus for Quantified Propositional Gödel Logic (bibtex)
by Matthias Baaz, Christian G. Fermüller, Helmut Veith
Reference:
An Analytic Calculus for Quantified Propositional Gödel LogicMatthias Baaz, Christian G. Fermüller, Helmut VeithAutomated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings (Roy Dyckhoff, ed.), pages 112-126, 2000, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/tableaux/BaazFV00,
  author = {Matthias Baaz and Christian G. Ferm{\"u}ller and Helmut Veith},
  title = {An Analytic Calculus for Quantified Propositional G{\"o}del Logic},
  year = {2000},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods,   International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7,   2000, Proceedings},
  editor = {Roy Dyckhoff},
  pages = {112--126},
  publisher = {Springer},
  isbn = {3-540-67697-X}
}
Powered by bibtexbrowser