Geodesic

Volume 52 (2023) no. 2

Sommaire

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