Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
On the EA-style integrated processing of self-contained mathematical texts
Symbolic computation and automated reasoning
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities
Proceedings of the IIS'2002 Symposium on Intelligent Information Systems
Handbook of automated reasoning
Handbook of automated reasoning
Evidence algorithm and system for automated deduction: a retrospective view
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Hi-index | 0.00 |
This paper is devoted to the description of a logical formalism, which is a part of the so-called evidential paradigm proposed by academician V. M. Glushkov in the form of a complex program of works called "Evidence Algorithm." Basic sequential calculi, their distinctive features, and results on their soundness and completeness are given. These calculi were used as a result of implementation of a system of automated deduction (SAD).