Alexander Gheorghiu

According to our database, Alexander Gheorghiu authored at least 15 papers between 2021 and 2025.

Collaborative distances:

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

2025

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial.

Alexander V. Gheorghiu, Yll Buzoku

CoRR, March, 2025

Defining logical systems via algebraic constraints on proofs.

Alexander V. Gheorghiu, David J. Pym

J. Log. Comput., 2025

2024

Semantic Foundations of Reductive Reasoning.

Alexander V. Gheorghiu, David J. Pym

CoRR, 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

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