Object

Title: Analysis of case splitting in a arithmetical system

Ստեղծողը:

Tigran M. Galoyan

Տեսակ:

Հոդված

Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիվ:

2005

Հատոր:

24

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

click here to follow the link

Այլ վերնագիր:

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

Ծածկույթ:

107-119

Ամփոփում:

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.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2005-02-10

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:258451

Բնօրինակի գտնվելու վայրը:

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

Object collections:

Last modified:

Dec 8, 2023

In our library since:

Jul 24, 2020

Number of object content hits:

14

All available object's versions:

https://arar.sci.am/publication/281517

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information