Логика Гёделя - Gödel logic

В математическая логика, а логика Гёделя первого порядка является членом семьи конечный- или же бесконечнозначные логики в котором наборы ценности истины V - замкнутые подмножества отрезка [0,1], содержащие как 0, так и 1. Различные такие множества V в общем определяют разные логики Гёделя. Концепция названа в честь Курт Гёдель.^[1]

Рекомендации

Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.