Логика альтернативного отношения следования
Article Sidebar
Опубликован:
16.01.2007
Main Article Content
Аннотация
В настоящей статье мы представляем логику, соответствующую нашему альтернативному определению логического следствия. Мы доказываем теоремы непротиворечивости и полноты этой логики.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. Логика альтернативного отношения следования // Логические исследования / Logical Investigations. 2007. Т. 13. C. 286-304.
Выпуск
Раздел
Статьи
Литература
Анисов А.М. Современная логика. М., 2002.
Булос Дж., Джеффри Р. Вычислимость и логика. Пер. с англ. М., Мир, 1994.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские руды В.А. Смирнова / под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып. 13. М.: Наука, 2007.
Булос Дж., Джеффри Р. Вычислимость и логика. Пер. с англ. М., Мир, 1994.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские руды В.А. Смирнова / под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып. 13. М.: Наука, 2007.