Generating (generalized) quasivarieties of algebras of logics

Carles 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.