Sciweavers

Share
EUSFLAT
2007

The Logic of Perfect MV-algebras

9 years 8 months ago
The Logic of Perfect MV-algebras
In this paper we summarize results on perfect MV-algebras and we show that the class of first order Lukasiewicz formulas valid in all interpretations over perfect MV-chains is axiomatizable.
Lawrence Peter Belluce, Antonio di Nola, Brunella
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where EUSFLAT
Authors Lawrence Peter Belluce, Antonio di Nola, Brunella Gerla
Comments (0)
books