Теорема Биркгофа (эквациональная логика)
Редактор выполнил поиск и обнаружил, что существует достаточно источников , чтобы установить значимость субъекта . ( май 2020 г. ) |
В логике теорема Биркгофа в эквациональной логике утверждает, что равенство t = u является семантическим следствием набора равенств E, если и только если t = u может быть доказано из набора равенств. [1] Она названа в честь Гаррета Биркгофа .
Ссылки
- ^ Баадер, Франц; Нипков, Тобиас (март 1998 г.). «Переписывание терминов и все такое». Cambridge Core . стр. Th. 3.5.14, стр. 55. Получено 13 февраля 2020 г.
 | Эта статья, связанная с логикой, является заглушкой . Вы можете помочь Википедии, расширив ее. |
