3 papers
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…
math.LO2025
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…
cs.LO2024
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…