Web pages of Luca Spada

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.

Forcing in Lukasiewicz Predicate Logic

Tags: First Order Many-Valued Logic, Łukasiewicz logic, Robinson Forcing

This entry was last modified on the 5th October 2017 by Luca Spada. You can leave a comment, or trackback from your own site.