4 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Alexander V. Gheorghiu, Tao Gu, David J. Pym
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linea…