11 citations · 36 across the 19 of their papers we have counts for
6 papers · 1 filter
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…
Pricing cyber-insurance for systems via maturity models
Henry Skeoch, David Pym
Pricing insurance for risks associated with information technology systems presents a complex modelling challenge, combining the disciplines of operations management, security, and…
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…