  Gentzen 1934 , Gentzen 1935 .

Дата: 2025-04-30; Просмотры: 3

Оценка:

0.00 из 5.00 — оценок

Скачиваний: 0

Скачать

  Gentzen 1934 , стр. 176.

  Правиц 1965 , Правиц 2006 .

  Martin-Löf 1996 .

  Это связано с Больцано, цитируемым Мартином-Лефом 1996 , стр. 15.

  Смотрите также его книгу Prawitz 1965 , Prawitz 2006 .

  Смотрите статью о лямбда-исчислении для получения более подробной информации о концепции подстановки.

  Куайн (1981) . См., в частности, страницы 91-93 для обозначения числа строк Куайна для предшествующих зависимостей.

  Особым преимуществом табличных систем естественной дедукции Клина является то, что он доказывает справедливость правил вывода как для исчисления высказываний, так и для исчисления предикатов. См. Kleene 2002 , стр. 44-45, 118-119.

11.  Клини 2009 , стр. 440-516. См. также Клини 1980 .

Ссылки

• Баркер-Пламмер, Дэйв; Барвайз, Джон ; Этчеменди, Джон (2011). Языковое доказательство и логика (2-е изд.). Публикации CSLI. ISBN 978-1575866321 .
• Gallier , Jean (2005). "Конструктивная логика. Часть I : Учебное пособие по системам доказательства и типизированным λ -исчислениям" . Проверено 12 июня 2014.
• Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I " . Mathematische Zeitschrift . 39 (2): 176-210. doi : 10.1007/ BF 01201353 . S 2 CID 121546341 . (Перевод на английский Исследования логической дедукции М. Э. Сабо. Собрание сочинений Герхарда Генцена. Издательство Северной Голландии, 1969.)
• Gentzen, Gerhard Karl Erich (1935). "Untersuchungen über das logische Schließen. II" . Mathematische Zeitschrift. 39 (3): 405–431. doi : 10.1007/bf01201363 . S2CID 186239837 .
• Жирар, Жан-Ив (1990). Доказательства и типы . Кембриджские трактаты по теоретической информатике. Издательство Кембриджского университета, Кембридж, Англия. Заархивировано с оригинала 2016-07-04. Восстановлено 2006-04-20. Переведено и снабжено приложениями Полом Тейлором и Ивом Лафоном.
• Ja ś kowski , Stanis ł aw (1934). О правилах предположений в формальной логике. Перепечатано в Polish logic 1920-39, ред. Сторрс Макколл.
• Клини, Стивен Коул (1980) [1952]. Введение в метаматематику (одиннадцатое изд.). Северная Голландия. ISBN 978-0-7204-2103-3 .
• Клини, Стивен Коул (2009) [1952]. Введение в метаматематику. Ishi Press International. ISBN 978-0-923891-57-2 .
• Клини, Стивен Коул (2002) [1967]. Математическая логика. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-42533-7 .
• Леммон, Эдвард Джон (1965). Начала логики. Томас Нельсон. ISBN 978-0-17-712040-4 .
• Мартин-Леф, Пер (1996). "О значениях логических констант и обоснованиях логических законов" ( PDF ). Северный журнал философской логики . 1 (1): 11-60. Конспекты лекций к краткому курсу в Университете Сиены, апрель 1983 года.
• Пфеннинг, Фрэнк; Дэвис, Роуэн (2001). "Субъективная реконструкция модальной логики" ( PDF ). Математические структуры в информатике. 11 (4): 511–540. Цитирую SEERX 10.1.1.43.1611 . doi : 10.1017/ S 0960129501003322 . Код S 2 C 16467268 .
• Правиц, Даг (1965). Естественная дедукция: теоретическое исследование . Acta Universitatis Stockholmiensis , Стокгольмские философские исследования 3. Stockholm , G ö teborg , Uppsala : Almqvist & Wicksell .
• Правиц, Даг (2006) [1965]. Естественная дедукция: теоретическое исследование. Минеола, Нью-Йорк: Издательство Dover Publications. ISBN 978-0-486-44655-4 .
• Куайн, Уиллард Ван Орман (1981) [1940]. Математическая логика (пересмотренное издание). Кембридж, Массачусетс: Издательство Гарвардского университета. ISBN 978-0-674-55451-1 .
• Куайн, Уиллард Ван Орман (1982) [1950]. Методы логики (четвертое изд.). Кембридж, Массачусетс: Издательство Гарвардского университета. ISBN 978-0-674-57176-1 .
• Симпсон, Алекс (1993). Теория доказательств и семантика интуиционистской модальной логики ( PDF ). Эдинбургский университет. Докторская диссертация.
• Столл, Роберт Рот (1979) [1963]. Теория множеств и логика. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-63829-4 .
• Ступпа, Финики (2004). Разработка теорий модального доказательства: случай S 5. Дрезденский университет. CiteSeerX 10.1.1.140.1858 . Магистерская диссертация.
• Суппс, Патрик Полковник (1999) [1957]. Введение в логику. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-40687-9 .

Внешние ссылки

• Лаборео, Даниэль Клементе, " Введение в естественную дедукцию".
• Домино в кислоте. Естественная дедукция, визуализируемая как игра в домино.
• Пеллетье, Джефф, " Учебники по истории естественной дедукции и элементарной логике. "
• Леви, Мишель, Доказательство высказываний.

Категории :

• Логические исчисления
• Дедуктивные рассуждения
• Теория доказательства
• Методы доказательства

https://translated.turbopages.org/proxy_u/en-ru.en.844b98e2-64c6513a-1da18157-74722d776562/https/en.wikipedia.org/wiki/Natural_deduction

https://en.wikipedia.org/wiki/Natural_deduction