Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[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"
Date2001
InLectures on Soft Computing and Fuzzy Logic
Editor(s)A. Di Nola G. G.
Page(s)1-18
PublisherPhysica-Verlag

BibTeX code

@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},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)