Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Behavioral algebraization of logics
CENTRIA seminar: Behavioral algebraization of logics
Main information
By:
Ricardo Gonçalves
(
CENTRIA
)
Date:
Wednesday, 4th of February 2009, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
The general theory of abstract algebraic logic (AAL from now on) was first introduced in a mathematical precise way by Blok and Pigozzi in 1989. It aims at extending the so-called Lindenbaum-Tarski method, as used for instance to establish the well-known relationship between classical propositional logic and Boolean algebras, to the systematic study of the connection between a given logic and a suitable equational theory. This connection enables one to use many of the powerful tools of universal algebra to study the metalogical properties of the logic being algebraized, namely with respect to axiomatizability, definability, the deduction theorem, or interpolation properties. Despite of its success, the scope of applicability of the current theory of AAL is still quite limited. To wit, logics with a many-sorted language or with non-truth-functional connectives simply fall out of its scope. In this talk we will give an overview of the theory of AAL and we propose a generalization of some of the main notions of AAL using a tool from computer science: behavioral equivalence.
Short-bio
Ricardo Gonçalves is a Post-doc researcher at CENTRIA, The Center for Artificial Intelligence Research at the New University of Lisbon. He holds a PhD in Mathematics from the Technical University of Lisbon within the subject of Abstract Algebraic Logic. He has now started to work on Semantic Web.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
