Recent Work

some of my recent publications and other activities

Papers

• From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic — Studia Logica 2024 — 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 — 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

Abstracts

• 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 

Preprints

• Proof-theoretic Semantics for the Logic of Bunched Implications --- Alexander V. Gheorghiu, Tao Gu, and David J. Pym

• Semantic Foundations of Reductive Reasoning --- Alexander V. Gheorghiu, David J. Pym

• Proof-theoretic Semantics for First-order Logic --- Alexander V. Gheorghiu

• Another Bilateralist Interpretation of Classical Propositional Logic --- Alexander V. Gheorghiu

Outreach

• The Mathematics of Double-checking Programs — Mathematics Today (Jan 2025) — Alexander V. Gheorghiu

Community

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