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