11 citations · 36 across the 19 of their papers we have counts for
17 papers · 1 filter
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.
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…
Proof-theoretic Semantics and Tactical Proof
Alexander V. Gheorghiu, David J. Pym
The use of logical systems for problem-solving may be as diverse as in proving theorems in mathematics or in figuring out how to meet up with a friend. In either case, the problem…
Defining Logical Systems via Algebraic Constraints on Proofs
Alexander V. Gheorghiu, David J. Pym
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an…