WikiDer > Логика Гёделя

Gödel logic

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

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

  1. ^ Логики Гёделя первого порядкаАвторы: Маттиас Бааз, Норберт Прейнинг, Ричард Зак.