BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260927T133001Z
DTSTART;TZID=Australia/Melbourne:20170303T060000
DTEND;TZID=Australia/Melbourne:20170303T080000
SUMMARY:Substructural Logics: A Logical Glimpse at Residuated Lattices
UID:20260928T180936Z-iCalPlugin-Grails@fe80:0:0:0:10f5:e0ff:fe86:30ee%3
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Petr Cintula (Czech Academy of Sciences) will present "Substructural Logics: A Logical Glimpse at Residuated Lattices" at 11 in Old Quad G09.</p>\n<p>Abstract:&nbsp\;Lattices equipped with a monoidal operation and its left and right residua attracted recently a lot of attention. The magnus opus of this area of algebra is Galatos\, Jipsen\, Kowalski and Ono's book `Residuated Lattices: An Algebraic Glimpse at Substructural Logics'\, where the authors concentrate on the role these algebras play in the study of the so-call substuctural logics (a prominent family of non-classical logics).</p>\n<p><br>Their `glimpse' is made possible due to the existence of a profound relationship between logical systems and classes of algebraic structures (which goes way beyond these particular logics/algebras). To date\, however\, logic has profited most from this relationship. My goal in this talk is to first glimpse the other way round and present residuated lattices through the eyes of a logician and second to return the favor to algebra and show that certain algebraic problems can be attacked by finding\, and solving\, their logical counterparts.<br><br>The presentation is based on the joint work with Carles Noguera.</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR