Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[ACN2000]  Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions

ACD00 (Article)
Author(s)Aguzzoli S., Ciabattoni A. and Nola A. D.
Title"Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions"
Date2000
JournalJ. of Logic and Computation
Volume10
Number2
Page(s)213-222

BibTeX code

@article{ACD00,
  journal = {J. of Logic and Computation},
  volume = {10},
  title = {Sequent calculi for finite-valued {\L}ukasiewicz logics via boolean decompositions},
  author = {S. Aguzzoli and A. Ciabattoni and A. Di Nola},
  year = {2000},
  pages = {213-222},
  number = {2},
}


 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)