Sommaire

Structural Rules in Natural Deduction with Alternatives
Core Type Theory
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic