Extends display calculi framework to inductive axioms via unified correspondence and ALBA to generate analytic rules, covering acyclic substructural hierarchy for arbitrary signatures.
Power and Limits of Structural Display Rules.ACM Transactions on Computational Logic, 17(3):1–39
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Inception Display Calculi
Extends display calculi framework to inductive axioms via unified correspondence and ALBA to generate analytic rules, covering acyclic substructural hierarchy for arbitrary signatures.