نتایج جستجو برای: ‎continuous logic

تعداد نتایج: 407573  

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1392

ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره ای فرو می کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می شود، تمرکز می کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه های موتیویک دارد که در آن یک مشخص سازی از تابع های تعریف پذیر مورد نیاز است. در این پایان نامه، یک حالت منطق پیوسته از قضی...

Journal: :Nagoya Mathematical Journal 1982

Journal: :iranian journal of fuzzy systems 2013
seyed-mohammad bagheri morteza moniri

we present some model theoretic results for {l}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by chang and keisler.we prove compactness theorem with respect to the class of allstructures taking values in the {l}ukasiewicz $texttt{bl}$-algebra.we also prove some appropriate preservation theorems concerning universal and inductive theories.finally, skolemizatio...

Journal: :The Journal of Symbolic Logic 2012

Journal: :Electronic Proceedings in Theoretical Computer Science 2012

Journal: :Annals of Pure and Applied Logic 2017

Journal: :Notre Dame Journal of Formal Logic 1988

Journal: :Information and Computation 2012

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید