Publications — Alexander V. Gheorghiu

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

On the Logical Content of Knowledge Bases

ALC 2026 · Alexander V. Gheorghiu and Tao Gu
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 2020 · Alexander V. Gheorghiu and Sonia Marin

Read PDF DOI

Extended 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

Work in Progress

Classical Arithmetic without Bivalence

Alexander V. Gheorghiu
On the Concept of Arithmetic Consequence

Alexander V. Gheorghiu
Verification of Robust Properties for Access Control Policies

Alexander V. Gheorghiu
Proof-theoretic Semantics for Second-order Logic

Alexander V. Gheorghiu and David J. Pym