An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic

Aldo Figallo-Orellano, Juan Sebastian Slagter

MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-algebras generated by a finite chain are Heyting algebras where the Godel implication can be written in terms of…