C-logic