LoLITA - Universal Workshop on Logic
with Daniele Mundici (Florence, IT), and many others
http://goo.gl/KBL6R
Evento confirmado para esta 4a-feira. Noto apenas algumas
reordenações nos horários das apresentações.
* * *
Próximos eventos LoLITA & Friends já agendados:
10Apr2013 LoLITA - Mihir Chakraborty (Kolkata) and Soma Dutta (Chennai)
Graded consequence
http://goo.gl/gmH8p
10Apr2013 LoLITA & ForAll - Marco Volpe (Verona)
Formal Methods applied to information security
http://goo.gl/vN1jG
--
12Apr2013, 14:00 LoLITA - Bivalent semantics & tableaux for
many-valued logics
João Marcos & Marco Volpe
http://goo.gl/yYsSQ
12Apr2013, 16:00 LoLITA & LFPhi - Graded consequence
Mihir Chakraborty & Soma Dutta
Gianluigi Bellin: "Modal intuitionistic logic and Lax Logic"
Mihir Chakraborty: "Rough logics"
Soma Dutta: "Graded consequence with fuzzy set of premises"
http://goo.gl/GhS0c
* * *
Joao Marcos
---------- Forwarded message ----------
Mais um evento do LoLITA
(Group for Logic, Language, Information, Theory, and Applications)
da UFRN.
Estão todos convidados!
* * *
LoLITA - Universal Workshop on Logic
with Daniele Mundici (Florence, IT), and many others
http://goo.gl/KBL6R
When: Wed Mar 27, 2013 8am – 12:15pm
Where: Auditório CCET, UFRN
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"
* * *
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
