Truth and consequence in mediaeval logic