[BCF2001] A Natural Deduction System for Intuitionistic Fuzzy Logic
BCF01SoftCom (In proceedings)
|
Author(s) | Baaz M., Ciabattoni A. and Fermüller C. G. |
Title | "A Natural Deduction System for Intuitionistic Fuzzy Logic" |
Date | 2001 |
In | Lectures on Soft Computing and Fuzzy Logic |
Editor(s) | A. Di Nola G. G. |
Page(s) | 1-18 |
Publisher | Physica-Verlag |
@inproceedings{BCF01SoftCom,
publisher = {Physica-Verlag},
title = {A Natural Deduction System for Intuitionistic Fuzzy Logic},
author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G.},
year = {2001},
booktitle = {Lectures on Soft Computing and Fuzzy Logic},
editor = {A. Di Nola, G. Gerla},
pages = {1-18},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)