Keyword:Inferentialism

Publications
Towards an Operational Proof-theoretic Semantics Alexander Victor Gheorghiu In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic Alexander Victor Gheorghiu In:LPAR 2024 Complementary Volume