کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
391017 661331 2007 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formulas on the lattice of fuzzy subalgebras in universal algebra
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Formulas on the lattice of fuzzy subalgebras in universal algebra
چکیده انگلیسی

We study what first-order sentences give the equivalence in the meaning that holding on the lattice of subuniverses implies holding on that of fuzzy subalgebras, and vice versa. We introduce the notions of transferable form and strict-transferable form of open formulas, and show that universal sentences whose matrixes are of the former type and existential sentences whose matrixes are of the latter type give the equivalence for every abstract algebra. After that, we study the case when sentences are general. For the purpose, we examine Skolem normal forms of given sentences.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 158, Issue 16, 16 August 2007, Pages 1767-1781