1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
David Pym, Eike Ritter, Edmund Robinson
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms…