Alexander Gheorghiu

According to our database, Alexander Gheorghiu authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Proof-theoretic Semantics for First-order Logic.

Alexander V. Gheorghiu

CoRR, 2024

A Note on an Inferentialist Approach to Resource Semantics.

Alexander V. Gheorghiu, Tao Gu, David J. Pym

CoRR, 2024

A Note on the Practice of Logical Inferentialism.

Alexander V. Gheorghiu, Tao Gu, David J. Pym

CoRR, 2024

Inferentialist Resource Semantics.

Alexander V. Gheorghiu, Tao Gu, David J. Pym

CoRR, 2024

A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic.

Alexander V. Gheorghiu

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

2023

Semantical Analysis of the Logic of Bunched Implications.

Alexander V. Gheorghiu, David J. Pym

Stud Logica, August, 2023

Proof-theoretic Semantics for the Logic of Bunched Implications.

Tao Gu, Alexander V. Gheorghiu, David J. Pym

CoRR, 2023

Proof-theoretic Semantics and Tactical Proof.

Alexander V. Gheorghiu, David J. Pym

CoRR, 2023

Defining Logical Systems via Algebraic Constraints on Proofs.

Alexander V. Gheorghiu, David J. Pym

CoRR, 2023

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

Alexander V. Gheorghiu, Tao Gu, David J. Pym

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic.

Alexander V. Gheorghiu, David J. Pym

CoRR, 2022

Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic.

Alexander V. Gheorghiu, David J. Pym

CoRR, 2022

2021

Focused Proof-search in the Logic of Bunched Implications.

Alexander Gheorghiu, Sonia Marin

Proceedings of the Foundations of Software Science and Computation Structures, 2021