Semantics vs. proof theory
It should be noted however that dialogical proof theories are not procedural in the sense that they provide algorithms for computing consequences of a set of premises
Dialogical proof theories are only procedural in the sense that the dialogues that occur in them can be interpreted as procedures