BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260616T141639Z
DTSTART;TZID=Australia/Melbourne:20170303T070000
DTEND;TZID=Australia/Melbourne:20170303T090000
SUMMARY:Generating (generalized) quasivarieties of algebras of logics
UID:20260620T231638Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Carles Noguera i Clofent (Czech Academy of Sciences) will present "Generating (generalized) quasivarieties of algebras of logics" at 12:30 on March 3 in Old Quad G09.</p>\n<p>Abstract:&nbsp\;In this talk I will present an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in terms of generation of the class of matrix models from a particular class by means of usual algebraic operators. Some characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives. The results are collected in a recent joint paper with Petr Cintula.</p>\n
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR