Система логики, в которой выражаемое значение является либо истинным, либо ложным, и которая часто используется для определения контроля исполнения в языках программирования. Она названа в честь Джорджа Буля (1815–1864 гг.), математика, внёсшего ключевой вклад в развитие логики и алгебры.
В Verse это тип logic, используемый для представления значений true (истина) или false (ложь). Эта булева логика реализуется через выражения с неоднозначным результатом в контекстах, допускающих ошибки.