عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی
First Statement of Responsibility
مرتضی مزگی نژاد,لطف الله نبوی,سید محمدعلی حجتی
SUMMARY OR ABSTRACT
Text of Note
گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کنندة ویژگی های مبنایی یک استدلال است به گونه ای که هر تغییری در آن ها سبب تغییر کل سی
TOPICAL NAME USED AS SUBJECT
Entry Element
ثوابت منطقی;قواعد عمل گری;قواعد ساختاری;استنتاج گرایی;تئوری برهان;قواعد عمل گری;قواعد ساختاری;استنتاج گرایی;تئوری برهان;
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier
مطالعه متن کتاب مقاله; مدخل مفاهیم(دانشنامه مفاهیم);
