Расскажите об четырехзначной логике, желательно с примерами

Логичная логика должна быть логична! Логично?

Да тоже, что двухзначная, наверно, только с добавлением всяких нечетких свойств. Типа "почти", "немного" и т.п. и т.д. Нафиг она вообще нужна.