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