Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2005

Volume:

24

ISSN:

0131-4645

Additional Information:

կապին հետեւելուն համար սեղմէ հոս

Other title:

Դեպքերի տրոհման վերլուծությունը թվաբանական համակարգում

Coverage:

107-119

Abstract:

Investigations in this paper concern the analysis of case splitting [(: A ! B) ! (A ! B) ! B] in an arithmetical system. It is shown that the case splitting can be done according to a thicker class of formulas (quantifer-free formulas) instead of decidable formulas. The latter includes the class of quantifer-free formulas. Some approaches to the case splitting, promoted by other authors, have been investigated, and some corrections concerning the selection of quantifer-free formulas instead of decidable formulas have been done. According to these corrections, a new derivation of case splitting is suggested.

Publisher:

Изд-во НАН РА

Date created:

2005-02-10

Format:

pdf

Identifier:

oai:arar.sci.am:258451

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան