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