Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկութիւն:
Համբարձումյան Արսեն Ա., Амбарцумян Арсен А.
Վերնագիր:
Investigation of Monotonous Properties for Frege Systems
Այլ վերնագիր:
Ստեղծողը:
Խորագիր:
Mathematical cybernetics ; Computer science
Չվերահսկուող բանալի բառեր:
Minimal tautology ; Monotonous and strong monotonous of proof systems ; Proof lines ; Frege systems
Ծածկոյթ:
Ամփոփում:
In this paper, we investigate the relations between the Frege proof lines of minimal tautologies and the results of substitutions in them. Սույն աշխատանքում հետազոտվել են մինիմալ նույնաբանությունների և նրանց մեջ կատարված տեղադրությունների արդյունքների նվազագույն արտածման քայերի հարաբերությունը Ֆրեգեի համակարգերում: В настоящей работе для систем Фреге исследовано соотношение количества шагов выводов минимальных тавтологий и результатов подстановки в них.