A mixed logic with binary operators | Synapse