Открытая система поддержки поиска вывода для различных логических исчислений.
##plugins.themes.bootstrap3.article.main##
Abstract
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Novodvorsky A., Smirnov A. Открытая система поддержки поиска вывода для различных логических исчислений. // Logicheskie Issledovaniya / Logical Investigations. 1997. VOL. 4. C. 154-162.
Issue
Section
Papers
References
Новодворский А. Е., Смирнов А.В. Язык для описания логических систем // Логические исследования. Вып. 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.