2 citations · 12 across the 23 of their papers we have counts for
23 papers
Inferentialist Game Semantics (Extended Abstract)
Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym
Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts th…
Verification of Robust Properties for Access Control Policies
Alexander V. Gheorghiu
Existing methods for verifying access control policies require the policy to be complete and fully determined before verification can proceed, but in practice policies are develope…
In Defence of the Material Conditional
Alexander V. Gheorghiu
The material conditional has long been charged with paradox. Defined truth-functionally, it renders true any conditional whose antecedent is false or consequent true -- hence, seem…
Support is Search
Alexander V. Gheorghiu
Sandqvist's base-extension semantics for intuitionistic propositional logic defines a support relation parametrised by atomic bases, with validity identified as support in every ba…
On the Concept of Arithmetic Conseqeunce
Alexander V. Gheorghiu
Gödel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typic…
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…
Classical Logic without Bivalance
Alexander V. Gheorghiu
Sandqvis's semantics for classical logic without bivalence resolves the question of an anti-realist account of classical reasoning after Dummett. This paper applies the framework t…
On an Inferential Semantics for Intuitionistic Sentential Logic
Alexander V. Gheorghiu
Sandqvist's base-extension semantics (B-eS) for intuitionistic sentential logic grounds meaning relative to bases (rather than, say, models), which are arbitrary sets of permitted…
Classical Logic as Intuitionistic Logic with Duality
Alexander V. Gheorghiu, Yll Buzoku
The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been…
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…
Proof-theoretic Semantics for First-order Logic
Alexander V. Gheorghiu
Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the meaning of the connectives without assuming bivalance. Later, he gave a semantics for…
A Note on an Inferentialist Approach to Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires a…
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…
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…
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…
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…
Provability in BI's Sequent Calculus is Decidable
Alexander Gheorghiu, Simon Docherty, David Pym
Warning: This paper contains a mistake, rendering the proof of the main theorem invalid. The logic of Bunched Implications (BI) combines both additive and multiplicative connective…
Focused Proof-search in the Logic of Bunched Implications
Alexander Gheorghiu, Sonia Marin
The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search…