Consortium of Swiss Academic Libraries

The Logic of Quasi-MV Algebras

Bou, Félix ; Paoli, Francesco ; Ledda, Antonio ; Spinks, Matthew ; Giuntini, Roberto

In: Journal of Logic and Computation, 2010, vol. 20, no. 2, p. 619-643