[BCF2001b] Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic

Tree

Index

Bibliography

[BCF2001b] Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic

BCF01ISMVL (In proceedings)
Author(s)	Baaz M., Ciabattoni A. and Fermüller C. G.
Title	"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic"
Date	2001
In	Proceedings of the 31th International Symposium on Multiple-Valued Logic (ISMVL'2001)
Page(s)	181-186
Publisher	IEEE Computer Society Press

BibTeX code

@inproceedings{BCF01ISMVL,
  publisher = {IEEE Computer Society Press},
  address = {Warsav},
  title = {Cut-Elimination in a Sequents-of-Relations Calculus for {G}{\"o}del Logic},
  author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G.},
  year = {2001},
  booktitle = {Proceedings of the 31th International Symposium on Multiple-Valued Logic (ISMVL'2001)},
  pages = {181-186},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug