Alexander V. Gheorghiu

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 13

Top Topics

Propositional Logic

Top Venues

LPAR Complementary Volume

Publications

Alexander V. Gheorghiu, Tao Gu, David J. Pym
A Note on the Practice of Logical Inferentialism. CoRR (2024)
Alexander V. Gheorghiu
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. LPAR Complementary Volume (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A Note on an Inferentialist Approach to Resource Semantics. CoRR (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Inferentialist Resource Semantics. CoRR (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX (2023)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic. CoRR (2023)
Tao Gu, Alexander V. Gheorghiu, David J. Pym
Proof-theoretic Semantics for the Logic of Bunched Implications. CoRR (2023)
Alexander V. Gheorghiu, David J. Pym
Semantical Analysis of the Logic of Bunched Implications. Stud Logica 111 (4) (2023)
Alexander V. Gheorghiu, David J. Pym
Defining Logical Systems via Algebraic Constraints on Proofs. CoRR (2023)
Alexander V. Gheorghiu, David J. Pym
Proof-theoretic Semantics and Tactical Proof. CoRR (2023)
Alexander V. Gheorghiu, David J. Pym
Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. CoRR (2022)
Alexander V. Gheorghiu, David J. Pym
Semantical Analysis of the Logic of Bunched Implications. CoRR (2022)
Alexander V. Gheorghiu, David J. Pym
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. CoRR (2022)