Connective Logic