Sintactic logic