Tag Robinson Forcing

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…