یادداشتی پیرامون نقاط ثابت در منطق مسور اثباتها و پارادوکس امتحان غیرمنتظره

مقداد قاری

دوره 12، شماره 1 ، شهریور 1400، ، صفحه 129-153

https://doi.org/10.30465/lsj.2021.35805.1348

چکیده
  در این مقاله قصد داریم تأثیر افزودن نقاط ثابت به منطق های توجیه را بررسی کنیم. به ویژه به مطالعه منطق مسور اثبات ها، که توسط فیتینگ معرفی شده است و گسترشی از منطق اثبات های آرتموف به یک منطق محمول ها می باشد، می پردازیم. ما گسترش های نقطه ثابتی از منطق مسور اثبات ها را ارایه می دهیم. این گسترش ها توسط افزودن عملگرهای نقطه ثابت (یا عملگرهای ...  بیشتر