The Logic of Perfect MV-algebras

13 years 6 months ago

Download www.eusflat.org

In this paper we summarize results on perfect MV-algebras and we show that the class of ﬁrst order Lukasiewicz formulas valid in all interpretations over perfect MV-chains is axiomatizable.

Lawrence Peter Belluce, Antonio di Nola, Brunella

Real-time Traffic

EUSFLAT 2007 | Perfect | Perfect Mv-chains | ﬁrst Order Lukasiewicz |

claim paper

Related Content

» The Logic of QuasiMV Algebras

» Admissible Rules of Lukasiewicz Logic

» On BCK Algebras Part Ib An Attempt to Treat Unitarily the Algebras of Logic New Algebras

» On BCK Algebras Part Ia An Attempt to Treat Unitarily the Algebras of Logic New Algebras

» Tableaux for Temporal Logics of Knowledge Synchronous Systems of Perfect Recall or No Lear...

» Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

» Fixpoint Characterizations for ManyValued Disjunctive Logic Programs with Probabilistic Se...

» Deciding Full Branching Time Logic by Program Transformation

» Perfect and bipartite IMTLalgebras and disconnected rotations of prelinear semihoops

Post Info
More Details (n/a)

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)

Sciweavers

The Logic of Perfect MV-algebras

EUSFLAT 2007 | Perfect | Perfect Mv-chains | ﬁrst Order Lukasiewicz |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers