Rational Lukasiewicz logic and DMV-algebras

2012/11/23 by Gerla, Brunella · 3 citations
#03B50 #06D35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1211.5485

Abstract

In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational Łukasiewicz logic is defined.

Cited by

• Complexity of Łukasiewicz Modal Probabilistic Logics
• Łukasiewicz Logic with Actions for Neural Networks training
• Regional, Lattice and Logical Representations of Neural Networks

Related

• A duality for (n+1)-valued MV-algebras
• Lukasiewicz logic and Riesz spaces
• An analysis of the logic of Riesz Spaces with strong unit
• An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic
• A general view of the algebraic semantics of Łukasiewicz logic with product