Такие знания полезнее не столько в самом программировании, сколько в постановке задачи. Например, еще в эпоху больших ЭВМ я использовал полугруппы с двумя образующими для описания дерева поиска, и это реально работало (коллега даже защитил кандидатскую на эту тему).
Сегодня есть перспективы создания версии языка Пролог, основанной на трехзначной логике - статьи по этой теме публиковались в журнале PC Magazne (RE) в 2008-2011 гг.