Publications

Journal papers, conference papers, book chapters, extended abstracts, and ongoing work across proof-theoretic semantics, philosophy of logic, and formal reasoning.

Journal Papers

  • Proof-theoretic Semantics for Classical Logic with Assertion and Denial
    Review of Symbolic Logic (in press) · Alexander V. Gheorghiu and Yll Buzoku
  • Proof-theoretic Semantics for First-order Logic
    Logic Journal of IGPL · 2025 · Alexander V. Gheorghiu
    Read PDF DOI
  • Proof-theoretic Semantics for the Logic of Bunched Implications
    Studia Logica · 2025 · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
    Read PDF DOI
  • On an Inferential Semantics for Intuitionistic Sentential Logic
    Journal of Logic and Computation · 2025 · Alexander V. Gheorghiu
    Read PDF DOI
  • Semantic Foundations of Reductive Reasoning
    Topoi · 2025 · Alexander V. Gheorghiu and David J. Pym
    Read PDF DOI
  • From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
    Studia Logica · 2025 · Alexander V. Gheorghiu and David J. Pym
    Read PDF DOI
  • Defining Logical Systems via Algebraic Constraints on Proofs
    Journal of Logic and Computation · 2023 · Alexander V. Gheorghiu and David J. Pym
    Read PDF DOI
  • Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
    Studia Logica · 2023 · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
    Read PDF DOI
  • Semantical Analysis of the Logic of Bunched Implications
    Studia Logica · 2023 · Alexander V. Gheorghiu and David J. Pym
    Read PDF DOI
  • 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
    Read PDF DOI

Conference Papers and Chapters

  • Towards an Operational Proof-theoretic Semantics
    LPAR-26 · Alexander V. Gheorghiu
    Invited submission to the 16th International Workshop on the Implementation of Logics.
    Read PDF Slides DOI
  • Truth, Support, and Arithmetic
    Logic Colloquium 2026 · Alexander V. Gheorghiu
    Read PDF Slides
  • On the Logical Content of Knowledge Bases
    AWPL 2026 · Alexander V. Gheorghiu and Tao Gu
    Read PDF
  • Inferentialist Resource Semantics
    MFPS XL · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
    Read PDF DOI
  • A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic
    LPAR 2024 · Alexander V. Gheorghiu
    Read PDF DOI
  • Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
    TABLEAUX 2023 · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
    Read PDF DOI
  • 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
    Read PDF DOI
  • Focused Proof-search in the Logic of Bunched Implications
    FoSSaCS 2021 · Alexander V. Gheorghiu and Sonia Marin
    Read PDF DOI

Extended Abstracts

  • A Constructive Semantics for Classical Logic
    The Proof Society 2026 · Alexander V. Gheorghiu
    Read PDF Slides
  • Towards a Proof-theoretic Foundation for Mathematics
    SLSS 2026 · Alexander V. Gheorghiu
    Read PDF Slides
  • A Survey of Proof-theoretic Semantics
    Proof Representations: From Theory to Applications (BANFF 25w5406) · 2025 · Alexander V. Gheorghiu
    Read PDF
  • 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

Work in Progress

  • Classical Arithmetic without Bivalence
    Alexander V. Gheorghiu
    arXiv
  • On the Concept of Arithmetic Consequence
    Alexander V. Gheorghiu
    arXiv
  • Verification of Robust Properties for Access Control Policies
    Alexander V. Gheorghiu
    arXiv Slides
  • Proof-theoretic Semantics for Second-order Logic
    Alexander V. Gheorghiu and David J. Pym
    arXiv
  • Inferentialist Game Semantics (Extended Abstract)
    Joaquim T. Waddington, Alexander V. Gheorghiu, and David J. Pym
    arXiv
  • Proof-theoretic Semantics and Tactical Proof
    Alexander V. Gheorghiu and David J. Pym
    arXiv