Consequence of compactness in Lukasiewicz first order logic
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 theoretic forcing for Lukasiewicz logic .
Consequence of compactness in Lukasiewicz first order logic
Tags: Chang-Los-Susko Theorem, First Order Many-Valued Logic, Los-Tarski Theorem, Łukasiewicz logic, ModelTheory
[…] presentation of the results contained here given at the conference VII Panhellenic Logic Symposium 2009. Patras, 16 July […]