Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
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. Սույն աշխատանքում հետազոտվել են մինիմալ նույնաբանությունների և նրանց մեջ կատարված տեղադրությունների արդյունքների նվազագույն արտածման քայերի հարաբերությունը Ֆրեգեի համակարգերում: В настоящей работе для систем Фреге исследовано соотношение количества шагов выводов минимальных тавтологий и результатов подстановки в них.