| Focused Proof-search in the Logic of Bunched Implications. A Gheorghiu, S Marin FoSSaCS, 247-267, 2021 | 13 | 2021 |
| Proof-theoretic semantics for intuitionistic multiplicative linear logic AV Gheorghiu, T Gu, DJ Pym International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 8 | 2023 |
| From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic AV Gheorghiu, DJ Pym arXiv preprint arXiv:2210.05344, 2022 | 8 | 2022 |
| 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 |
| Semantical Analysis of the Logic of Bunched Implications AV Gheorghiu, DJ Pym | 5* | |
| Proof-theoretic Semantics for the Logic of Bunched Implications T Gu, AV Gheorghiu, DJ Pym arXiv preprint arXiv:2311.16719, 2023 | 4 | 2023 |
| Defining Logical Systems via Algebraic Constraints on Proofs AV Gheorghiu, DJ Pym Journal of Logic and Computation, exad065, 2023 | 4 | 2023 |
| Definite formulae, negation-as-failure, and the base-extension semantics of intuitionistic propositional logic AV Gheorghiu, DJ Pym Wydawnictwo Uniwersytetu Łódzkiego, 2023 | 4 | 2023 |
| Investigations into Semantics in Reductive Logic AV Gheorghiu UCL (University College London), 2024 | 3 | 2024 |
| A Note on the Practice of Logical Inferentialism AV Gheorghiu, T Gu, DJ Pym arXiv preprint arXiv:2403.10546, 2024 | 1 | 2024 |
| Inferentialist Resource Semantics AV Gheorghiu, T Gu, DJ Pym arXiv preprint arXiv:2402.09217, 2024 | 1 | 2024 |
| A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic AV Gheorghiu Kalpa Publications in Computing 18, 81-91, 2024 | | 2024 |
| A Note on the Practice of Logical Inferentialism: the State-Effect Interpretation, Definitional Reflection, and Completeness AV Gheorghiu, T Gu, DJ Pym Vilnius University, 2024 | | 2024 |
| A Note on an Inferentialist Approach to Resource Semantics AV Gheorghiu, T Gu, DJ Pym arXiv preprint arXiv:2405.06491, 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 |
Simon DochertyUniversity College London在 ucl.ac.uk 的电子邮件经过验证
Simon DochertyUniversity College London在 ucl.ac.uk 的电子邮件经过验证
Sonia MarinLecturer, University of Birmingham在 bham.ac.uk 的电子邮件经过验证