On Gentzen Systems Associated with the Finite Linear MV-Algebras

From Mathfuzzlog
Jump to: navigation, search
Authors:
Àngel J. Gil
Antoni Torrens
Ventura Verdú
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




Abstract