-
From Proof Theory to Argumentation Theory via Proof-theoretic Semantics
6th International School and Workshop on Proof Theory · Alexander V. Gheorghiu
-
Special Session: Proof-theoretic Semantics
Dagstuhl 24341 · Alexander V. Gheorghiu, Sara Ayhan, and Victor Nascimento
-
A Note on an Inferentialist Approach to Resource Semantics
SLSS 2024 · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
-
A Note on the Practice of Logical Inferentialism
2nd Logic and Philosophy Conference · Alexander V. Gheorghiu, Tao Gu, and David J. Pym
-
Generalized Rules via Algebraic Constraints (Extended Abstract)
SLSS 2022 · Alexander V. Gheorghiu and David J. Pym
-
Reductive Logic, Proof-search, and Coalgebra (Extended Abstract)
CMCS 2022 · Alexander V. Gheorghiu and David J. Pym
-
Semantics ex Proof and Refutation (Extended Abstract)
Bilateralism & Proof-Theoretic Semantics, Ruhr University Bochum · 2022 · Alexander V. Gheorghiu and David J. Pym