Canonical formulas for k-potent residuated lattices

Here are the slides of my presentation at Logic, Algebra and Truth Degrees 2014 (LATD 2014), 16-19 July 2014, Vienna, Austria. The conference was part of the wonderful Vienna Summer of Logic.

Canonical formulas

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.