11 citations · 36 across the 19 of their papers we have counts for
20 papers
A Note on the Practice of Logical Inferentialism
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Base-extension Semantics for Modal Logic
Timo Eckhardt, David J. Pym
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused…
Inferentialist Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems f…
Proof-theoretic Semantics for the Logic of Bunched Implications
Tao Gu, Alexander V. Gheorghiu, David J. Pym
The logic of bunched implications (BI) can be seen as the free combination of intuitionistic propositional logic (IPL) and intuitionistic multiplicative linear logic (IMLL). We pre…
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linea…
Categorical Proof-Theoretic Semantics
David Pym, Eike Ritter, Edmund Robinson
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms…