Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola. Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. Journal of Logic and Computation, 10(2):213-222, 2000.
@article{AguzzoliCN00,
title = {Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions},
author = {Stefano Aguzzoli and Agata Ciabattoni and Antonio di Nola},
year = {2000},
tags = {logic},
researchr = {https://researchr.org/publication/AguzzoliCN00},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {10},
number = {2},
pages = {213-222},
}