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

Tree

Index

Bibliography

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

BaazVeith99LC (In proceedings)
Author(s)	Baaz M. and Veith H.
Title	"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule"
Date	1999
In	Proc. of the Logic Colloqium 1998, Prague
Series	LNL
Page(s)	91--104

BibTeX code

@inproceedings{BaazVeith99LC,
  title = {An axiomatization of quantified proposition {G\"odel} logic using the {Takeuti}-{Titani} rule},
  author = {Baaz, M. and Veith, H.},
  year = {1999},
  booktitle = {Proc.˜of the Logic Colloqium 1998, Prague},
  pages = {91--104},
  series = {LNL},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug