| Focused Proof-search in the Logic of Bunched Implications. A Gheorghiu, S Marin FoSSaCS, 247-267, 2021 | 13 | 2021 |
| Reductive logic, coalgebra, and proof-search: a perspective from resource semantics AV Gheorghiu, S Docherty, DJ Pym, A Palmigiano, M Sadrzadeh Samson Abramsky on Logic and Structure in Computer Science and Beyond 25, 2021 | 7 | 2021 |
| From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic AV Gheorghiu, DJ Pym arXiv preprint arXiv:2210.05344, 2022 | 6 | 2022 |
| Definite formulae, negation-as-failure, and the base-extension semantics of intuitionistic propositional logic AV Gheorghiu, DJ Pym Wydawnictwo Uniwersytetu Łódzkiego, 2023 | 4 | 2023 |
| Semantical Analysis of the Logic of Bunched Implications AV Gheorghiu, DJ Pym | 4* | |
| Proof-theoretic semantics for intuitionistic multiplicative linear logic AV Gheorghiu, T Gu, DJ Pym International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 3 | 2023 |
| Defining Logical Systems via Algebraic Constraints on Proofs AV Gheorghiu, DJ Pym arXiv preprint arXiv:2301.02125, 2023 | 3 | 2023 |
| Investigations into Semantics in Reductive Logic AV Gheorghiu UCL (University College London), 2024 | 1 | 2024 |
| Proof-theoretic Semantics for the Logic of Bunched Implications T Gu, AV Gheorghiu, DJ Pym arXiv preprint arXiv:2311.16719, 2023 | 1 | 2023 |
| A Note on the Practice of Logical Inferentialism AV Gheorghiu, T Gu, DJ Pym arXiv preprint arXiv:2403.10546, 2024 | | 2024 |
| Inferentialist Resource Semantics AV Gheorghiu, T Gu, DJ Pym arXiv preprint arXiv:2402.09217, 2024 | | 2024 |
| Proof-theoretic Semantics and Tactical Proof AV Gheorghiu, DJ Pym arXiv preprint arXiv:2301.02302, 2023 | | 2023 |
| Generalizing Rules via Algebraic Constraints A Gheorghiu, D Pym The Scandinavian Logic Society, 2022 | | 2022 |
| Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. AV Gheorghiu, DJ Pym CoRR, 2022 | | 2022 |
Simon DochertyUniversity College LondonVerified email at ucl.ac.uk
