کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
474328 | 698863 | 2008 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Some properties of the roots of theories in propositional logic systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Some properties of the roots of theories, and the relationship between the sets D(Γ)D(Γ) of all conclusions of two different theories in the classical propositional logic system, Łukasiewicz propositional logic system, and the R0R0-propositional logic system are studied. It is proved that D(Γ)D(Γ) is completely determined by its root whenever ΓΓ has a root, and the construction of the roots is given.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computers & Mathematics with Applications - Volume 55, Issue 9, May 2008, Pages 2086–2093
Journal: Computers & Mathematics with Applications - Volume 55, Issue 9, May 2008, Pages 2086–2093
نویسندگان
Jiancheng Zhang,