[BC2002] A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic

Tree

Index

Bibliography

[BC2002] A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic

BC02TAB (In proceedings)
Author(s)	Baaz M. and Ciabattoni A.
Title	"A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic"
Date	2002
In	Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002)
Editor(s)	Egly U. and Fermüller C.
Number	2381
Series	LNAI
Page(s)	24--37
Publisher	Springer

BibTeX code

@inproceedings{BC02TAB,
  title = {A {S}chütte-{T}ait Style Cut-Elimination Proof for First-Order {G}ödel Logic},
  year = {2002},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002)},
  editor = {Egly, U. and Fermüller, C.G.},
  pages = {24--37},
  number = {2381},
  publisher = {Springer},
  author = {Baaz, M. and Ciabattoni, A.},
  series = {LNAI},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug