[BFV2000] An Analytic Calculus for Quantified Propositional Gödel Logic

Tree

Index

Bibliography

[BFV2000] An Analytic Calculus for Quantified Propositional Gödel Logic

BaazFermVeith00Tab (In proceedings)
Author(s)	Baaz M., Fermüller C. G. and Veith H.
Title	"An Analytic Calculus for Quantified Propositional Gödel Logic"
Date	2000
In	Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'2000
Editor(s)	Dyckhoff R.
Series	LNCS 1847
Page(s)	112--126
Publisher	Springer

BibTeX code

@inproceedings{BaazFermVeith00Tab,
  title = {An Analytic Calculus for Quantified Propositional {G}\"odel Logic},
  year = {2000},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'2000},
  pages = {112--126},
  editor = {Dyckhoff, R.},
  publisher = {Springer},
  author = {Baaz, M. and Fermüller, C. G. and Veith, H.},
  series = {LNCS˜1847},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug