Logo BSU

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ: http://elib.bsu.by/handle/123456789/162882
Заглавие документа: The Inverse Method Application for Non-Classical Logics
Авторы: Pavlov, V.
Paky, V.
Тема: ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика
Дата публикации: 2015
Издатель: Minsk : Education and Upbringing
Библиографическое описание источника: Nonlinear Phenomena in Complex Systems. - 2015. - Vol. 18, N 2. - P. 181-190
Аннотация: Maslov’s inverse method is an automated theorem proving method: it can be used to develop computer programs that prove theorems automatically (such programs are called theorem provers). The inverse method can be applied to a wide range of logical calculi: propositional logic, first-order logic, intuitionistic logic, modal logics etc. We give a brief historical background of the inverse method, then discuss existing modifications and implementations of the inverse method for non-classical logics (intuitionistic logic, modal logics and some other logics). We introduce a variant of the inverse method for intuitionistic logic - a logic that allows only constructive proofs, i.e. proofs that construct an existing mathematical object instead of just establishing the fact that such an object exists. In short, intuitionistic logic can be seen as classical logic without the law of excluded middle A ∨ ¬A or the law of double negation elimination ¬¬A ⊃ A. So, classical proofs by contradiction are not allowed in intuitionistic logic. We discuss our experimental program implementation of the inverse method for intuitionistic logic: some details of implementation, results of experiments on ILTP problems (ILTP is a common library of test problems for intuitionistic theorem provers).
URI документа: http://elib.bsu.by/handle/123456789/162882
ISSN: 1561 - 4085
Располагается в коллекциях:2015. Volume 18. Number 2

Полный текст документа:
Файл Описание РазмерФормат 
v18no2p181.pdf137,74 kBAdobe PDFОткрыть


Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.