[BZ2000] Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic
| BaazZach00CSL (In proceedings)
|
| Author(s) | Baaz M. and Zach R. |
| Title | "Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" |
| Date | 2000 |
| In | Computer Science Logic, Proceedings of the CSL'2000 |
| Editor(s) | Clote P. G. and Schwichtenberg H. |
| Series | LNCS 1862 |
| Page(s) | 178--201 |
| Publisher | Springer |
@inproceedings{BaazZach00CSL,
title = {Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic},
year = {2000},
booktitle = {Computer Science Logic, Proceedings of the CSL'2000},
pages = {178--201},
editor = {Clote, P. G. and Schwichtenberg, H.},
publisher = {Springer},
author = {Baaz, M. and Zach, R.},
series = {LNCS˜1862},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)