Formalized meta-theory of sequent calculi for substructural logics
From MaRDI portal
Publication:1744443
DOI10.1016/j.entcs.2017.04.005zbMath1401.03033WikidataQ113317596 ScholiaQ113317596MaRDI QIDQ1744443
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2017.04.005
DB lookup for MSC labels failed
Uses Software