Get started
Author

Alexander V. Gheorghiu

Observed names: Alexander Gheorghiu, Alexander V Gheorghiu, Alexander Victor Gheorghiu, Gheorghiu, Alexander, Gheorghiu, Alexander V, Gheorghiu, Alexander V.
ORCID: 0000-0002-7144-6910
Observed ORCID: 0000-0002-7144-6910
OpenAlex ID: A5083790955
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic
2025 · Alexander V. Gheorghiu, David J. Pym · Studia Logica · 21
PDF
Proof-theoretic Semantics for the Logic of Bunched Implications
2025 · Tao Gu, Alexander V. Gheorghiu, et al. · Studia Logica · 18
PDF
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
2023 · Alexander V. Gheorghiu, Tao Gu, et al. · Lecture notes in computer science · 12
PDF
Semantical Analysis of the Logic of Bunched Implications
2023 · Alexander V. Gheorghiu, David J. Pym · Studia Logica · 11
PDF
Focused Proof-search in the Logic of Bunched Implications
2021 · Alexander Gheorghiu, Sonia Marin · Lecture notes in computer science · 11
PDF
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
2024 · Alexander V. Gheorghiu, Tao Gu, et al. · Studia Logica · 9
PDF
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
2023 · Alexander V. Gheorghiu, David J. Pym · Bulletin of the Section of Logic · 9
PDF
Inferentialist Resource Semantics
2024 · Alexander V. Gheorghiu, Tao Gu, et al. · Electronic Notes in Theoretical Informatics and Computer Science · 7
PDF
Proof-theoretic semantics for first-order logic
2025 · Alexander V Gheorghiu · Logic Journal of IGPL · 6
PDF
A Note on the Practice of Logical Inferentialism
2024 · Gheorghiu, Alexander V., Gu, Tao, et al. · arXiv (Cornell University) · 5
PDF
Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics
2023 · Alexander V. Gheorghiu, Simon Docherty, et al. · Outstanding contributions to logic · 4
PDF
Proof-theoretic Semantics for Second-order Logic
2025 · Gheorghiu, Alexander V., Pym, David J. · arXiv (Cornell University) · 3
PDF
Defining logical systems via algebraic constraints on proofs
2023 · Alexander V Gheorghiu, David J Pym · Journal of Logic and Computation · 3
PDF
Support is Search
2026 · Gheorghiu, Alexander V. · arXiv (Cornell University) · 2
PDF
Semantic Foundations of Reductive Reasoning
2025 · Alexander V. Gheorghiu, David J. Pym · Topoi · 2
PDF
Classical Logic without Bivalance
2025 · Gheorghiu, Alexander V. · arXiv (Cornell University) · 1
PDF
A Note on an Inferentialist Approach to Resource Semantics
2024 · Gheorghiu, Alexander V., Gu, Tao, et al. · arXiv (Cornell University) · 1
PDF
Proof-theoretic Semantics and Tactical Proof
2023 · Gheorghiu, Alexander V., Pym, David J. · arXiv (Cornell University) · 1
PDF
Towards an Operational Proof-theoretic Semantics
2026 · Gheorghiu, Alexander V. · arXiv (Cornell University)
PDF
Inferentialist Game Semantics (Extended Abstract)
2026 · Waddington, Joaquim T., Gheorghiu, Alexander V., et al. · arXiv (Cornell University)
PDF
Verification of Robust Properties for Access Control Policies
2026 · Gheorghiu, Alexander V. · arXiv (Cornell University)
PDF
In Defence of the Material Conditional
2026 · Gheorghiu, Alexander V. · arXiv (Cornell University)
PDF
On the Concept of Arithmetic Conseqeunce
2026 · Gheorghiu, Alexander V. · arXiv (Cornell University)
PDF
On an inferential semantics for intuitionistic sentential logic
2025 · Alexander V Gheorghiu · Journal of Logic and Computation
PDF
Researchers have invented a new system of logic that could boost critical thinking and AI
2024 · Alexander Gheorghiu · The Conversation
Works count: 35
Citation count: 131
H-index: 7
I10-index: 5
Year
Topic
Type