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

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