Focused Proof-search in the Logic of Bunched Implications. - Alexander Gheorghiu; Sonia Marin (FoSSaCS, 2021)

Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2022)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2022)

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (TABLEAUX, 2023)

Proof-theoretic Semantics and Tactical Proof. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2023)

Proof-theoretic Semantics for the Logic of Bunched Implications. - Tao Gu 002; Alexander V. Gheorghiu; David J. Pym (CoRR, 2023)

Semantical Analysis of the Logic of Bunched Implications. - Alexander V. Gheorghiu; David J. Pym (Stud Logica, 2023)

A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. - Alexander V. Gheorghiu (LPAR Complementary Volume, 2024)

Inferentialist Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on the Practice of Logical Inferentialism. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on an Inferentialist Approach to Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

Proof-theoretic Semantics for First-order Logic. - Alexander V. Gheorghiu (CoRR, 2024)

Semantic Foundations of Reductive Reasoning. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2024)

Defining logical systems via algebraic constraints on proofs. - Alexander V. Gheorghiu; David J. Pym (J. Log. Comput., 2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial. - Alexander V. Gheorghiu; Yll Buzoku (CoRR, 2025)