کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778136 | 1633430 | 2017 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Germinal theories in Åukasiewicz logic
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Differently from boolean logic, in Åukasiewicz infinite-valued propositional logic Åâ the theory Îmaxâ¡,v consisting of all formulas satisfied by a model vâ[0,1]n is not the only one having v as its unique model: indeed, there is a smallest such theory Îminâ¡,v, the germinal theory at v, which in general is strictly contained in Îmaxâ¡,v. The Lindenbaum algebra of Îmaxâ¡,v is promptly seen to coincide with the subalgebra of the standard MV-algebra [0,1] generated by the coordinates of v. The description of the Lindenbaum algebras of germinal theories in two variables is our main aim in this paper. As a basic prerequisite of independent interest, we prove that for any models v and w the germinal theories Îminâ¡,v and Îminâ¡,w have isomorphic Lindenbaum algebras iff v and w have the same orbit under the action of the affine group over the integers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 5, May 2017, Pages 1132-1151
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 5, May 2017, Pages 1132-1151
نویسندگان
Leonardo Manuel Cabrer, Daniele Mundici,