Alexander V. Gheorghiu

21 papers B 2Journal 18Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Support is Search. CoRR Alexander V. Gheorghiu
2026	J	`jnl`	Verification of Robust Properties for Access Control Policies. CoRR Alexander V. Gheorghiu
2025	J	`jnl`	Defining logical systems via algebraic constraints on proofs. J. Log. Comput. Alexander V. Gheorghiu, David J. Pym
2025	J	`jnl`	Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial. CoRR Alexander V. Gheorghiu, Yll Buzoku
2025	J	`jnl`	Proof-theoretic Semantics for Second-order Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2025	J	`jnl`	Proof-theoretic semantics for first-order logic. Log. J. IGPL Alexander V. Gheorghiu
2024	J	`jnl`	A Note on an Inferentialist Approach to Resource Semantics. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	J	`jnl`	A Note on the Practice of Logical Inferentialism. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	—	`conf`	A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. LPAR Complementary Volume Alexander V. Gheorghiu
2024	B	`conf`	Inferentialist Resource Semantics. MFPS Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	J	`jnl`	Proof-theoretic Semantics for First-order Logic. CoRR Alexander V. Gheorghiu
2024	J	`jnl`	Semantic Foundations of Reductive Reasoning. CoRR Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Defining Logical Systems via Algebraic Constraints on Proofs. CoRR Alexander V. Gheorghiu, David J. Pym
2023	B	`conf`	Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics and Tactical Proof. CoRR Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for the Logic of Bunched Implications. CoRR Tao Gu, Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Semantical Analysis of the Logic of Bunched Implications. Stud Logica Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	Semantical Analysis of the Logic of Bunched Implications. CoRR Alexander V. Gheorghiu, David J. Pym