Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Proof-theoretic Semantics for Second-order Logic
Alexander V. Gheorghiu, David J. Pym
We develop a proof-theoretic semantics (P-tS) for second-order logic (S-oL), providing an inferentialist alternative to both full and Henkin model-theoretic interpretations. Our ap…
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…