کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876337 | 689759 | 2013 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Semantics and proof-theory of depth bounded Boolean logics
ترجمه فارسی عنوان
معناشناسی و اثبات نظریه عمق محدود منطق بولی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق بولی، رضایت، کسر طبیعی، کسر خودکار،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a unifying semantical and proof-theoretical framework for investigating depth-bounded approximations to Boolean Logic, namely approximations in which the number of nested applications of a single structural rule, representing the classical Principle of Bivalence, is bounded above by a fixed natural number. These approximations provide a hierarchy of tractable logical systems that indefinitely converge to classical propositional logic. The framework we present here brings to light a general approach to logical inference that is quite different from the standard Gentzen-style approaches, while preserving some of their nice proof-theoretical properties, and is common to several proof systems and algorithms, such as KE, KI and Stålmarck's method.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 480, 8 April 2013, Pages 43-68
Journal: Theoretical Computer Science - Volume 480, 8 April 2013, Pages 43-68
نویسندگان
Marcello D'Agostino, Marcelo Finger, Dov Gabbay,