Clarence Protin
Research Group: LanCog
I am an associate member of the LanCog research group, a collaborator at the CFCUL in the area of Philosophy of Formal Sciences, Methodology and Epistemology and a non-permanent member of the CMAFcIO in the area of Logic, Geometry and Dynamical Systems. I am invited assistant professor at the Universidade Aberta. In 2008 I concluded my PhD in the areas of category theory and noncommutative Geometry at the Instituto Superior Técnico under a FCT PhD Scholarship. Before that I was student member of the Centro de Lógica e Computação headed by Amílcar Sernadas and part of QuantLog: logic for quantum computation and information. My interests are in philosophical logic, philosophy of language, type theory, categorical logic and their connection to ancient logic.
Selected Publications
Modern incarnations of the Aristotelian concepts of Continuum and Topos, in Intentio Nº 4 (2024), ISSN : 2679–4462, ISBN : 978–2–494988–03–3.
A Logic for Aristotle’s Modal Syllogistic, History and Philosophy of Logic, 2022.
https://www.tandfonline.com/
Type-inhabitation of Atomic Polymorphism is Undecidable, Oxford Journal of Logic and Computation, Volume 31, Issue 2, March 2021.
Typability and Type Inference in Atomic Polymorphism (with G. Ferreira), Logical Methods in Computer Science, Vol 18, Issue 3, 2022.