Compositional Logic