Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Համբարձումյան Արսեն Ա., Амбарцумян Арсен А.
Title:
Investigation of Monotonous Properties for Frege Systems
Other title:
Creator:
Subject:
Mathematical cybernetics ; Computer science
Uncontrolled Keywords:
Minimal tautology ; Monotonous and strong monotonous of proof systems ; Proof lines ; Frege systems
Coverage:
Abstract:
In this paper, we investigate the relations between the Frege proof lines of minimal tautologies and the results of substitutions in them. Սույն աշխատանքում հետազոտվել են մինիմալ նույնաբանությունների և նրանց մեջ կատարված տեղադրությունների արդյունքների նվազագույն արտածման քայերի հարաբերությունը Ֆրեգեի համակարգերում: В настоящей работе для систем Фреге исследовано соотношение количества шагов выводов минимальных тавтологий и результатов подстановки в них.