Recent Work
Recent Work
Semantic Foundations of Reductive Reasoning — Topoi 2025 — Alexander V. Gheorghiu, David J. Pym
From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic — Studia Logica 2025 — Alexander V. Gheorghiu and David J. Pym
Inferential Resource Semantics — MFPS 40 — Alexander V. Gheorghiu, Tao Gu, and David J. Pym
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic — LPAR 2024 — Alexander V. Gheorghiu
Defining Logical Systems via Algebraic Constraints on Proofs — Journal of Logic and Computation 2023 — Alexander V. Gheorghiu and David J. Pym
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic — Studia Logica 2023 — Alexander V. Gheorghiu, Tao Gu, and David J. Pym
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract) — TABLEAUX 2023 — Alexander V. Gheorghiu, Tao Gu, and David J. Pym
Semantical Analysis of the Logic of Bunched Implications — Studia Logica 2023 — Alexander V. Gheorghiu and David J. Pym
Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic --- Bulletin of the Section of Logic 2023 — Alexander V. Gheorghiu and David J. Pym
Reductive Logic, Coalgebra, and Proof-search — chapter in Samson Abramsky on Logic and Structure in Computer Science and Beyond — Alexander V. Gheorghiu, Simon Docherty and David J. Pym
Focused Proof-search in the Logic of Bunched Implications — FoSSaCS 2020 — Alexander V. Gheorghiu and Sonia Marin
From Proof Theory to Argumentation Theory via Proof-theoretic Semantics — 6th International School and Workshop on Proof Theory — Alexander V. Gheorghiu
Special Session: Proof-theoretic Semantics — Dagstuhl 24341 — Alexander V. Gheorghiu, Sara Ayhan, and Victor Nascimento
A Note on an Inferentialist Approach to Resource Semantics — SLSS 2024 — Alexander V. Gheorghiu, Tao Gu, and David J. Pym
A Note on the Practice of Logical Inferentialism — 2nd Logic and Philosophy Conference — Alexander V. Gheorghiu, Tao Gu, and David J. Pym
Generalized Rules via Algebraic Constraints (Extended Abstract) — SLSS 2022 — Alexander V. Gheorghiu and David J. Pym
Reductive Logic, Proof-search, and Coalgebra (Extended Abstract) — CMCS 2022 — Alexander V. Gheorghiu and David J. Pym
Semantics ex Proof and Refutation (Extended Abstract) — Bilateralism & Proof-Theoretic Semantics, Ruhr University Bochum, 2022 — Alexander V. Gheorghiu and David J. Pym
Proof-theoretic Semantics for the Logic of Bunched Implications --- Alexander V. Gheorghiu, Tao Gu, and David J. Pym
Proof-theoretic Semantics for First-order Logic --- Alexander V. Gheorghiu
Proof-theoretic Semantics for Classical Logic with Assertion and Denial --- Alexander V. Gheorghiu and Yll Buzoku
On the Logical Content of Logic Programs --- Alexander V. Gheorghiu
On an Inferential Semantics for Intuitionistic Sentential Logic --- Alexander V. Gheorghiu
The Mathematics of Double-checking Programs — Mathematics Today (Jan 2025) — Alexander V. Gheorghiu
Researchers have invented a new system of logic that could boost critical thinking and AI — The Conversation (November 2024) — Alexander V. Gheorghiu
I organize the Symposium on Proof-theoretic Semantics.
Refereeing: Bulletin of the Section of Logic; Logical Methods in Computer Science; Journal of Cybersecurity; Studia Logica; Australasian Journal of Logic; Topoi; Autonomous Agents and Multi-agent Systems; Journal of the IGPL