On Gentzen Systems Associated with the Finite Linear MV-Algebras
From Mathfuzzlog
| Authors: |
|
|||
| Title: | On Gentzen Systems Associated with the Finite Linear MV-Algebras | |||
| Journal: | Journal of Logic and Computation | |||
| Volume | 7 | |||
| Number | 4 | |||
| Pages: | 473-500 | |||
| Year: | 1997 |
