A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)

Bilateral base-extension semantics. - Victor Barroso-Nascimento; Maria Osório (CoRR, 2025)

A Sequent Calculus Perspective on Base-Extension Semantics. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics. - Victor Barroso-Nascimento (CoRR, 2025)