11 citations · 36 across the 19 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
Semantical Analysis of the Logic of Bunched Implications
Alexander V. Gheorghiu, David J. Pym
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of…
cs.LO2022★ 2 cited
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
Alexander V. Gheorghiu, David J. Pym
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on 'proof' (as opposed to 'truth'). There are two major approaches to P-tS: proof-theoretic validity (P-t…
cs.LO2022
Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic
Alexander V. Gheorghiu, David J. Pym
Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic pr…