Recent Work

some of my recent publications and other activities

Published

• A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic --- LPAR 2024 --- Alexander V. Gheorghiu

• A Note on the Practice of Logical Inferentialism --- 2nd Logic and Philosophy Conference --- Alexander V. Gheorghiu, Tao Gu, and David J. Pym

• Defining Logical Systems via Algebraic Constraints on Proofs --- Journal of Logic and Computation --- 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

• Generalized Rules via Algebraic Constraints (Extended Abstract) --- SLSS 2022 --- 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

Preprints

• Inferential Resource Semantics --- Alexander V. Gheorghiu, Tao Gu, and David J. Pym

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

Community

I organize the Symposium on Proof-theoretic Semantics. 

Refereeing: Bulletin of the Section of Logic; Logical Methods in Computer Science; Journal of Cybersecurity.