کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904333 1633608 2017 35 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Reprint of: A more general general proof theory
ترجمه فارسی عنوان
بازنویسی: نظریه کلی تضمین کلی
کلمات کلیدی
اثبات اثبات دوگانه، انکار، هماهنگی، 2 نکته منطق بی منطقی، منطق شهودی دوگانه، فرم عادی، اظهارنظر، انکار سازگاری، دو طرفه،
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic logic 2Int. The proof makes use of the faithful embedding of 2Int into intuitionistic logic with respect to validity and shows that conversions of dual proofs can be sidestepped.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 25, Supplement, December 2017, Pages S25-S47
نویسندگان
,