A note on the substructural hierarchy

DOI10.1002/malq.201500066zbMath1357.03057arXiv1507.00700OpenAlexW3121824157MaRDI QIDQ2793913

Emil Jeřábek

Publication date: 17 March 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.00700

zbMATH Keywords

substructural hierarchyfull Lambek calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Power and Limits of Structural Display Rules ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Poset products as relational models

Cites Work

• Algebraic proof theory for substructural logics: cut-elimination and completions

This page was built for publication: A note on the substructural hierarchy