In this paper we study the notion of forcing for Lukasiewicz predicate logic (L\forall, 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 a Generic Model Theorem for L\forall, while for the latter, we study the generic and existentially complete standard models of L\forall.
[…] Didattica « Forcing in Lukasiewicz Predicate Logic […]
[…] presentation of this work on Forcing in Łukasiewicz logic given at the $3^{rd}$ MATHLOGAPS Workshop in Aussois (France), […]