-
69Logic in the deep endAnalysis 84 (2): 282-291. 2024.Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.
-
130Proof InvarianceAustralasian Journal of Logic. forthcoming.We explore depth substitution invariance, or hyperformalism, and extend known results in this realm to justification logics extending weak relevant logics. We then examine the surprising invariance of justifications over formulas and restrict our attention to the substitution of proofs in the original relevant logic. The results of this paper indicate that depth invariance is a recalcitrant feature of the logic and that proof structures in hyperformal logics are quite inflexible.
Areas of Specialization
Relevance Logic |
Proof Theory |
Areas of Interest
Relevance Logic |
Paraconsistent Logic |
Nonclassical Logic, Misc |
Proof Theory |
Formal Semantics |