Category Theory
M. Clarence Protin, Pedro Resende, Quantales of open groupoids. J. Noncommut. Geom. 6 (2012), no. 2, pp. 199–247
Logic and Type Theory
M. Clarence Protin, Type inhabitation of atomic polymorphism is undecidable, Journal of Logic and Computation, Volume 31, Issue 2, March 2021, Pages 416–425, https://doi.org/10.1093/logcom/exaa090
M. Clarence Protin ; Gilda Ferreira - Typability and Type Inference in Atomic Polymorphism, lmcs:7417 - Logical Methods in Computer Science, August 12, 2022, Volume 18, Issue 3 - https://doi.org/10.46298/lmcs-18(3:22)2022
Combinatory Intensional Logic: Formal foundations
On the Various Translations between Classical, Intuitionistic and Linear Logic (with P. Oliva e G. Ferreira), Ann. Pure and App. Logic (2025)
Introduction to Pylog
Philosophy of Logic and Language
(This is one of my main interests: see most posts in the present blog Philosophical Monologues)
On proper names, sense and self-reference. Constructivist Foundations 20(2): 82–84. https://constructivist.info/20/2/082
On Analyticity and the A Priori
Inquiry into the nature of Kant's Logic in the CPR
Aristotle's Organon
Protin, C. L. (2022). A Logic for Aristotle’s Modal Syllogistic. History and Philosophy of Logic, 44(3), 225–246. https://doi.org/10.1080/01445340.2022.2107382
Modern Definition and Ancient Definition
Aristotle's Second-Order Logic
History and Philosophy of Topology
Clarence Lewis Protin, Modern incarnations of the Aristotelian concepts of Continuum and Topos, in Intentio Nº 4 (2024), ISSN : 2679–4462, ISBN : 978–2–494988–03–3.
Hegel and Modern Topology
Stoicism
Commentary on Bobzien and Shogry's Stoic Logic and Multiple Generality
Stoic Logic and Dependent Type Theory
Philosophy of Epictetus
Pali Buddhism and Western philosophy
Aristotle's Analysis of Consciousness and Pali Buddhism
Hegel
Commentary on the section on Verstellung in Hegel's Phenomenology of Spirit
Philosophical General Systems Theory
Some topics in the philosophy of nature (draft for the article below)
Differential models, computability and beyond
Ethics, political philosophy, history and anthropology
No comments:
Post a Comment