کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661621 | 1633439 | 2016 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Proof theory for lattice-ordered groups
ترجمه فارسی عنوان
اثبات نظریه برای گروه های شبکه سفارشی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
گروه های شبکه سفارشی؛ اثبات نظریه؛ سنگ مزدوج بیش از حد؛ حذف برش . تکمیل شدن NP مشترک
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 8, August 2016, Pages 707–724
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 8, August 2016, Pages 707–724
نویسندگان
Nikolaos Galatos, George Metcalfe,