A Proof-theoretic Semantics for Intuitionistic Linear Logic. - Yll Buzoku (CoRR, 2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial. - Alexander V. Gheorghiu; Yll Buzoku (CoRR, 2025)

Base-extension Semantics for Intuitionistic Modal Logics. - Yll Buzoku; David J. Pym (CoRR, 2025)