Forcing in Lukasiewicz Predicate Logic

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: , ,

2 Comments

Leave a Reply


Warning: Undefined variable $user_ID in /Library/WebServer/Documents/lucaspada/wp-content/themes/open-sourcerer/comments.php on line 65

Captcha * Time limit is exhausted. Please reload the CAPTCHA.