BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260718T105843Z
DTSTART;TZID=Australia/Melbourne:20170303T070000
DTEND;TZID=Australia/Melbourne:20170303T090000
SUMMARY:Generating (generalized) quasivarieties of algebras of logics
UID:20260718T225943Z-iCalPlugin-Grails@fe80:0:0:0:74d0:1ff:feb1:3c52%3
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