Leo and I have just finished our paper on the connection between natural dualities and the duality between semisimple MV-algebras and compact Hausdorff spaces with definable maps. Actually, we provide a description of definable maps that is intrinsically geometric. In…
The Los-Tarski Theorem and the Chang-Los-Susko Theorem, two classical results in Model Theory, are extended to the infinite-valued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model…
In this paper we study the notion of forcing for Lukasiewicz predicate logic (L, for short), along the lines of Robinson’s forcing in classical model theory.We deal with both finite and infinite forcing. As regard to the former we prove…