From the 1 of 12 linked papers with an AI index.
1 citations · 1 across the 2 of their papers we have counts for
12 papers
Inferentialist Game Semantics (Extended Abstract)
Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym
The paper establishes a fully abstract correspondence between base‑extension proof‑theoretic semantics and Hyland‑Ong game semantics, demonstrating how games can model intensional…
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…
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 typi…