Constructive algorithm for inverse method of sentential calculus

Authors

  • V. A. Dotsenko

Abstract

A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described.

Author Biography

V. A. Dotsenko

Доценко В.А.

Downloads

Issue

No. 2 (2007)

Section

Problem- and function-oriented computer systems and networks

License

This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles in this journal without asking prior permission from the publisher or the author. This is in accordance with the BOAI definition of open access.