Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 22:49, 20 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Completeness of atomic initial sequents (Новая страница: «{{Английская Википедия/Панель перехода}} 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...»)