Showing math.LOShow all
2 papers · 1 filter
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…