Date/Time
Date(s) - 27 Mar 2013 until 27 Mar 2013
8:00 AM - 12:15 PM

Location

Category(ies) No Categories

Programme:
08:00-08:45 Daniele Mundici (Florence, IT)
“Universal properties in many-valued logic”
08:45-09:15 Benjamín Bedregal (Natal, BR)
“Toward a nondeterministic fuzzy logic”
09:15-09:45 Adriano Dodó (Natal, BR)
“A rich language for negative modalities”
coffee break
10:15-10:45 Sanderson Molick (Natal, BR)
“The mistery of duality unraveled — dualizing rules, operators, and logics”
10:45-11:15 Carolina Blasio (Campinas, BR)
“Do not be afraid of the Unknown”
11:15-11:45 Regivan Santiago (Natal, BR)
“Toward a notion of i-distance-based reasoning”
11:45-12:15 Claudio Callejas (Natal, BR)
“A contribution towards a cartography of fuzzy equivalence operators”

* * *

Distinguished speaker:
Daniele Mundici

Talk:
Universal properties in many-valued logic

Abstract:
Crucial characterization theorems for implication functions on the unit real square [0,1]^2 show that Lukasiewicz implication is a desirable choice. We will draw some consequences of this fact, with particular reference to the notion of “consequence” for [0,1]-valued logics.

* * *

The workshop and Mundici’s visit to Natal is partially sponsored by CNPq (Process 457333/2012-0).

Link: http://goo.gl/KBL6R