Omitting type theorems for Łukasiewicz Logic

This is an account of some -still unpublished- natural continuation of the ideas contained here. It was delivered at the conference ManyVal10, in Varese, 3d May 2010.

Omitting type theorems for Łukasiewicz Logic

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.