کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329752 | 685514 | 2005 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics](/preview/png/10329752.png)
چکیده انگلیسی
Many proof search strategies can be expressed as restrictions on the order of application of the rules of the sequent calculus. Properties of these strategies are then shown by permutation arguments, such as showing that a given strategy is complete by transforming an arbitrary proof into one which obeys the strategy. Such analyses involve some very tedious manipulations of proofs, and are potentially overwhelming for humans. In this paper we investigate the development of systematic techniques for the analysis of sequent calculi. We show how a particular specification of inference rules leads to a detailed analysis of permutation properties for these rules, and we also investigate how to detect redundancies in proofs resulting from these rules.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 2, 15 March 2005, Pages 115-147
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 2, 15 March 2005, Pages 115-147
نویسندگان
Tatjana Lutovac, James Harland,