کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661621 1344849 2016 18 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Proof theory for lattice-ordered groups
ترجمه فارسی عنوان
اثبات نظریه برای گروه های شبکه سفارشی
کلمات کلیدی
گروه های شبکه سفارشی؛ اثبات نظریه؛ سنگ مزدوج بیش از حد؛ حذف برش . تکمیل شدن NP مشترک
06F15; 06F20; 03F05; 08A50Lattice-ordered groups; Proof theory; Hypersequent calculi; Cut elimination; Co-NP completeness
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
, ,