Keyword:proof-theoretic semantics

Publications
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic Alexander Victor Gheorghiu In:LPAR 2024 Complementary Volume
Paychecks, Presupposition, and Dependent Types Ribeka Tanaka, Koji Mineshima and Daisuke Bekki EasyChair Preprint 215