Showing math.LOShow all
2 papers · 1 filter
math.LO2026
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.LO2026
Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
Clarence Lewis Protin
Aristotelian logic and its related traditions in antiquity are often held to have been equivalent to monadic predicate logic and as such inadequate to formalize mathematics as well…