Skip to main content
SUPERVISOR
Mojtaba Aghaei
مجتبی آقائی فروشانی (استاد راهنما)
 
STUDENT
Amene Pirmoradi
آمنه پیرمرادی

FACULTY - DEPARTMENT

دانشکده ریاضی
DEGREE
Master of Science (MSc)
YEAR
1393

TITLE

On unification and admissible rules in Gabbay-de Jongh logics.
In this paper we study the admissible resules of intermediate logics. We establish some general results on extention of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay-de Jongh logics and to show that these logics have finitary unification type. The admissible rules of a logic are precisely these rules under which the set of its theorems is closed. These rules arise naturally from a logic, though they may not be plainly.
در این پایان‌نامه قواعد پذیرفتنی منطق‌های میانی را مطالعه کرده و نتایج کلی برای توسیع‌های مدل‌ها و مجموعه‌ی فرمول‌ها را ارائه می‌کنیم. این نتایج کلی برای بدست آوردن پایه‌ای برای قواعد پذیرفتنی منطق‌های گبی-دیانگ و نشان دادن اینکه این منطق ‌ها تایپ یکسان‌سازی متناهی دارند بکار برده می‌شود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه می‌کنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزاره‌ای را بررسی نماید

ارتقاء امنیت وب با وف بومی