Mostrando ítems 1-6 de 6
Bou Moliner, Félix (Fecha de defensa: 2004-10-01)
Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de ...
Esteban, María (Fecha de defensa: 2013-11-04)
In this thesis we present the results of our research on duality theory for non-classical logics under the point of view of Abstract Algebraic Logic (AAL). Firstly, we propose an abstract Spectral-like ...
González, Luciano J. (Fecha de defensa: 2015-09-17)
This PhD thesis is the result of our research on duality theory and completions for partially ordered sets. A first main aim of this dissertation is to propose different kind of topological dualities ...
Albuquerque, Hugo Cardoso (Fecha de defensa: 2016-03-16)
This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. ...
Moraschini, Tommaso (Fecha de defensa: 2016-06-08)
This memoir is divided into two parts, devoted to two topics in (ab-stract) algebraic logic. In the first part we develop a hierarchy in which propositional logics “L” are classified according to the ...
Dellunde i Clavé, Pilar (Fecha de defensa: 1996-01-01)
La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. ...