کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9517935 | 1345238 | 2005 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A procedural criterion for final derivability in inconsistency-adaptive logics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 221-250
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 221-250
نویسندگان
Diderik Batens,