[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" |
| Date | 2000 |
| Journal | J. of Logic and Computation |
| Volume | 10 |
| Number | 2 |
| Page(s) | 213-222 |
@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},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)