1 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
A Proof-theoretic Semantics for Intuitionistic Linear Logic
Yll Buzoku
The approach taken by Gheorghiu, Gu and Pym in their paper on giving a base-extension semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the w…
math.LO2026★ 1 cited
Classical Logic as Intuitionistic Logic with Duality
Alexander V. Gheorghiu, Yll Buzoku
The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been…
math.LO2025
Base-extension Semantics for Intuitionistic Modal Logics
Yll Buzoku, David. J. Pym
The proof theory and semantics of intuitionistic modal logics have been studied by Simpson in terms of Prawitz-style labelled natural deduction systems and Kripke models. An altern…