Craig Interpolation for a Semi-Substructural LogicVeltri, Niccolo; Wan, Cheng-SyuanStudia logica2025 / 39 p https://doi.org/10.1007/s11225-025-10189-7

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS