Открытая система поддержки поиска вывода для различных логических исчислений.
Article Sidebar
Опубликован:
01.07.1997
Main Article Content
Аннотация
In [1] and [2] a language was proposed to describe logical systems. “Deductio” software system was developed to support proof search for calculus defined by the means of the language. In the paper the language is enhanced to allow many-sorted calculus, non-classical logics (modal, paraconsistent), virtual substitution for dummy variables.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Новодворский А., Смирнов А. Открытая система поддержки поиска вывода для различных логических исчислений. // Логические исследования / Logical Investigations. 1997. Т. 4. C. 154-162.
Выпуск
Раздел
Статьи
Литература
Новодворский А. Е., Смирнов А.В. Язык для описания логических систем // Логические исследования. Вып. 3. М., 1995.
Smirnov A., Novodvorsky A. A shell for generic interactive proof search//Joumal of applied non-classical logic (В печати.)
Смирнов В.А. Маркин В.И. Новодворский А.Е. Смирнов А.В. Доказательство и его поиск. Книга с дискетой, М., 1996.
Смирнова Е.Д. Логика и философия. М., 1996.
Barwise J., Etchemendy J. Hyperproof. CSLI, 1994.
Harper R., Honsell F., Plotkin G. A framework on defining logics // Proc. of the 2nd Annual Logic in Computer Sc. Conf. Ithaca, N.Y., June, 1987.
Smirnov A., Novodvorsky A. A shell for generic interactive proof search//Joumal of applied non-classical logic (В печати.)
Смирнов В.А. Маркин В.И. Новодворский А.Е. Смирнов А.В. Доказательство и его поиск. Книга с дискетой, М., 1996.
Смирнова Е.Д. Логика и философия. М., 1996.
Barwise J., Etchemendy J. Hyperproof. CSLI, 1994.
Harper R., Honsell F., Plotkin G. A framework on defining logics // Proc. of the 2nd Annual Logic in Computer Sc. Conf. Ithaca, N.Y., June, 1987.