The logic of functional consequence