3 papers
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…
cs.LO2024
Semantic Foundations of Reductive Reasoning
Alexander V. Gheorghiu, David J. Pym
The development of logic has largely been through the 'deductive' paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both hu…