اخبار و اعلانات

 آمار

تعداد نشریات31
تعداد شماره‌ها834
تعداد مقالات8,015
تعداد مشاهده مقاله14,852,914
تعداد دریافت فایل اصل مقاله9,586,822
Bagheri, Seyed-Mohammad, Moniri, Morteza. (1392). Preservation theorems in {\L}ukasiewicz \\model theory. نشریه علمی دانشگاه سیستان و بلوچستان, 10(3), 103-113. doi: 10.22111/ijfs.2013.864
Seyed-Mohammad Bagheri; Morteza Moniri. "Preservation theorems in {\L}ukasiewicz \\model theory". نشریه علمی دانشگاه سیستان و بلوچستان, 10, 3, 1392, 103-113. doi: 10.22111/ijfs.2013.864
Bagheri, Seyed-Mohammad, Moniri, Morteza. (1392). 'Preservation theorems in {\L}ukasiewicz \\model theory', نشریه علمی دانشگاه سیستان و بلوچستان, 10(3), pp. 103-113. doi: 10.22111/ijfs.2013.864
Bagheri, Seyed-Mohammad, Moniri, Morteza. Preservation theorems in {\L}ukasiewicz \\model theory. نشریه علمی دانشگاه سیستان و بلوچستان, 1392; 10(3): 103-113. doi: 10.22111/ijfs.2013.864

Preservation theorems in {\L}ukasiewicz \\model theory

Iranian Journal of Fuzzy Systems
مقاله 7، دوره 10، شماره 3، شهریور 2013، صفحه 103-113    اصل مقاله (327.8 K)
نوع مقاله: Research Paper
شناسه دیجیتال (DOI): 10.22111/ijfs.2013.864
نویسندگان
Seyed-Mohammad Bagheri1؛ Morteza Moniri* 2
1Department of Pure Mathematics, Faculty of Mathemat- ical Sciences, Tarbiat Modares University, P.O. Box 14115-134, and Institute for Re- search in Fundamental Sciences (IPM), P. O. Box 19395-5746, Tehran, Iran
2Department of Mathematics, Shahid Beheshti University, G. C., Evin, Tehran, Iran
چکیده
We present some model theoretic results for {\L}ukasiewicz
predicate logic by using the methods of continuous model theory
developed by Chang and Keisler.
We prove compactness theorem with respect to the class of all
structures taking values in the {\L}ukasiewicz $\texttt{BL}$-algebra.
We also prove some appropriate preservation theorems concerning universal and inductive theories.
Finally, Skolemization and Morleyization in this framework are discussed and
some natural examples of fuzzy theories are presented.
کلیدواژه‌ها
Continuous model theory؛ {\L}ukasiewicz logic؛ Preservation theorems
مراجع
\bibitem{Barwise} J. Barwise (editor), {\it Handbook of mathematical logic}, North-Holland, 1977.

\bibitem{CK} Chang and Keisler, {\it Continuous Model Theory}, Annals of Mathematical Studies, Princeton University Press, {\bf58} (1966).

\bibitem{CH} P. Cintula and P. H\'{a}jek, {\it Triangular norm based predicate fuzzy logics},
Fuzzy sets and systems, {\bf161} (2010), 311-346.

\bibitem{DE} P. Dellunde and F. Esteva, {\it On elementary extensions for fuzzy predicate logics},
In Proceedings of IPMU, (2010), 747-756.

\bibitem{G} G. Gerla, {\it The category of the fuzzy models and Lowenheim-Skolem theorem},
Mathematics of Fuzzy Systems, (1986), 121-141.

\bibitem{Hajek1} P. H\'{a}jek, {\it Metamathematics of Fuzzy Logic, Trends in Logic},
 Kluwer Academic Publishers, Dordercht, {\bf4} (1998).

\bibitem{Hajek2} P. H\'{a}jek and P. Cintula, {\it On theories and models in fuzzy predicate logics},
Journal of Symbolic Logic, {\bf 71} (2006), 863-880.



\bibitem{Montagna} F. Montagna, {\it On the predicate logics of continuous t-norm BL-algebras},
Archive for Mathematical Logic, {\bf44} (2005), 97-114.

\bibitem{Yaacov} I. B. Yaacov, A. P. Pedersen, {\it A Proof of completeness for continnuous
first-order logic}, Journal of Symbolic Logic, {\bf75} (2010), 168-190.

\bibitem{YBHU} I. B. Yaacov, A. Berenstein, C. W. Henson and A. Usvyatsov,
{\it Model theory for metric structures}, In Model Theory with Applications to Algebra and Analysis,
Vol. II, eds. Z. Chatzidakis, D. Macpherson, A. Pillay, and A.Wilkie, Lecture Notes series
of the London Mathematical Society, No. 350, Cambridge University Press, (2008), 315-427.

آمار
تعداد مشاهده مقاله: 2,846
تعداد دریافت فایل اصل مقاله: 1,961


سامانه مدیریت نشریات علمی. طراحی و پیاده سازی از سیناوب