Higher-Order Arrows for Path-Dependent Many-Valued Systems
Proença, J., Fervari, R., Martins, M.A., Kahle, R., Pluck, G. (eds) Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops. Springer, Cham.
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.
Latest Publications
Vanishing distributivities in combinations of AND with OR
Chapter in Festschrift in honor of Jean-Yves Béziau (Studies in Universal Logic series).
Rediscovering partial non-deterministic logical matrices
Accepted chapter in Logic, Semantics and Algebraic Methods for Non-Classical Logics: Studies dedicated to Marcelo Coniglio.
Axiomatizing the Logic of Ordinary Discourse
In: Lesot, MJ., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2024. Springer, Cham.
Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
Studia Logica
Adding an implication to logics of perfect paradefinite algebras
Mathematical Structures in Computer Science, Vol. 34, No. 10, pp. 1138 - 1183, October, 2024
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