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.

• Type: Conference
• Year: 2007
• Where: EUSFLAT
• Authors: Lawrence Peter Belluce, Antonio di Nola, Brunella Gerla
• Keywords: EUSFLAT 2007, Perfect, Perfect Mv-chains, first Order Lukasiewicz