An operator used in logic to combine two logical formulas. See first order logic.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Connection Machine LISP « connection-oriented « connection-oriented network service « connective » connector conspiracy » CONNIVER » Co-NP
