A Sequent Calculus Perspective on Base-Extension Semantics.

Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel

Browse the full TABLEAUX paper archive.