Adding an implication to logics of perfect paradefinite algebras
Mathematical Structures in Computer Science, Vol. 34, No. 10, pp. 1138 - 1183, October, 2024
Sérgio Marcelino
I am a researcher at the Instituto de Telecomunicações (IT), Lisbon, and a member of SQIG (Department of Mathematics of Instituto Superior Técnico). I have been at IT since 2012 (FCT postdoctoral fellow, 2012–2018; researcher since 2018) and hold a CEEC Individual contract from 2022. I received my PhD from King’s College London in 2011 (supervisors: Dov Gabbay, Agi Kurucz), following a Mathematics degree from Instituto Superior Técnico (2006).
My work focuses on the mathematical foundations of non classical reasoning. I study axiomatizability, decidability, and computational complexity of problems relevant to the analysis and design of logical systems, developing compositional methods and tools that aim at effective reasoning procedures beyond the classical setting.
Research
Reactive models
Abstract deductive systems
Combination of logics
Compositionality
Generalized truth-functionality
Partial and non-deterministic logical matrices
Modal logics
Quantale semantics
Highlighted Publications
Modular Many-Valued Semantics for Combined Logics
Journal of Symbolic Logic, Vol. 89, No. 2, pp. 583 - 636, June, 2024
Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics
In: Malinowski, J., Palczewski, R. (eds) Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, vol 27. Springer, Cham.
Finite axiomatizability of logics of distributive lattices with negation
Logic Journal of the IGPL, Vol. 31, No. 3, pp. 510 - 533, June, 2023
Computational properties of finite PNmatrices
Journal of Logic and Computation, Vol. 32, No. 8, pp. 1694 - 1719, November, 2022
Highlighted Talks
Finite axiomatizability of logics of distributive lattices with negation
Encontro Nacional da Sociedade Portuguesa de Matemática ENSPM 2024, 10 a 12 de Julho, Universidade do Minho - Braga, Portugal
2024
The Pros and Cons of Generalizing Truth-Functionality
MATHESIS Workshop: Beyond ClassicalOperations. Universidad Complutense de Madrid (Madrid, Spain)
2023
PNmatrices at work
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (Aveiro, Portugal)
2022
Advantages and challenges posed by PNmatrices
TOPOLOGY, ALGEBRA, ANDCATEGORIES IN LOGIC (Coimbra, Portugal)
2022
Decidability of combined logics, and applications
DAYS IN LOGIC 2022 (Faro, Portugal)
2022
An Unexpected Boolean Connective
World Logic Prizes Contest@Unilog2022 (Greece)
2022
On adding axioms
Days in Logic 2020, Departamento de Matemática - Faculdade de Ciências - Universidadede Lisboa (Lisboa, Portugal)
2020