LPi Logic with Fixed Point Operator

A presentation given at the conference Topological and Algebraic Methods in Non-Classical Logic -TANCL- in Barcelona, $15^{th}-18^{th}$ June 2005.

LPi Logic with Fixed Point Operator

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.