12 citations · 28 across the 6 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021
A Framework for Intuitionistic Grammar Logics
Tim S. Lyon
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionis…
math.LO2021★ 12 cited
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Tim Lyon
This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first…