Generating (generalized) quasivarieties of algebras of logicsCarles Noguera i Clofent (Czech Academy of Sciences)
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.
Abstract: 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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?