Showing 2023Show all
2 papers · 1 filter
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…
math.HO2023
Aristotle's Second-Order Logic and Natural Deduction
Clarence Protin
This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to…