Has inferentialism left any scope for formal logic? | Publicación