Открытая система поддержки поиска вывода для различных логических исчислений.

##plugins.themes.bootstrap3.article.main##

A.E. Novodvorsky
A.V. Smirnov

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##

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.