3 papers
math.HO2025
Hegel and Modern Topology
Clarence Protin
In this paper we sketch how some fundamental concepts of modern topology (as well as logic and category theory) can be understood philosophically in the light of Hegel's Science Lo…
math.LO2024
Natural Term Logic
Clarence Protin
In this paper we develop a formal system called Natural Term Logic (NTL). NTL aims to represent key aspects of the logical and grammatical mechanisms of natural language as well as…
math.LO2023
Introduction to Pylog
Clarence Lewis Protin
PyLog is a minimal experimental proof assistant based on linearised natural deduction for intuitionistic and classical first-order logic extended with a comprehension operator. PyL…