Alexander Gheorghiu

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

Collaborative distances:

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

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

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