Cohesive Logic