کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662456 | 1633541 | 2007 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Geometry of Robinson consistency in Łukasiewicz logic
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras—the algebras of Łukasiewicz logic: all pre-existing proofs of this latter result make essential use of the Pierce amalgamation theorem for abelian lattice-ordered groups (with strong unit) together with the categorical equivalence Γ between these groups and MV-algebras. Our main tools are elementary and geometric.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 147, Issues 1–2, June 2007, Pages 1-22
Journal: Annals of Pure and Applied Logic - Volume 147, Issues 1–2, June 2007, Pages 1-22