Английская Википедия:Completeness of atomic initial sequents: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

20 февраля 2024

  • текущ.пред. 22:4922:49, 20 февраля 2024‎ EducationBot обсуждение вклад‎ 1499 байт +1499‎ Новая страница: «{{Английская Википедия/Панель перехода}} In sequent calculus, the '''completeness of atomic initial sequents''' states that initial sequents {{math|<VAR>A</VAR> ⊢ <VAR>A</VAR>}} (where {{math|<VAR>A</VAR>}} is an arbitrary formula) can be derived from only atomic initial sequents {{math|<VAR>p</VAR> ⊢ <VAR>p</VAR>}} (where {{math|<VAR>p</VAR>}} is an atomic formula). This theorem plays a role...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Completeness_of_atomic_initial_sequents