Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Fundamental Logic Through the Lens of Modality
Wesley H. Holliday, Guillaume Massas
Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural…
math.LO2024
Modal logic, fundamentally
Wesley H. Holliday
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a g…
math.LO2024
Preconditionals
Wesley H. Holliday
In recent work, we introduced a new semantics for conditionals, covering a large class of what we call preconditionals. In this paper, we undertake an axiomatic study of preconditi…