چكيده انگليسي :
مراجع 1 Ben Yaacov I Berenstein A Ward Henson C and Usvyastsov A Model theory for metric structures Model theory with Applications to Algebra and Analysis Vol 2 Zo e Chatzidakis Dugald Macpherson Anand Pillay and Alex Wilkie eds London Math Society Lecture Not Series vol 350 pp 315 427 2008 1 2 Belluce L P and Change C C A weak completeness theorem for in nite valued rst order logic Journal of Symbolic logic Vol 28 No 1 pp 43 50 1963 3 Ben Yaacov I On theories of random variables in preparation 4 Ben Yaacov I Positive theory and compact abstract theories Journal of Mathematical Logic Vol 3 No 1 pp 85 118 2003 5 Ben Yaacov I Simplicity in compact abstract theories Journal of Mathematical Logic Vol 3 No 2 pp 163 191 2003 2 6 Ben Yaacov I Uncountable dense categoricity in cats Journal of Symbolic Logic Vol 70 No 3 pp 829 860 2005 2 7 Ben Yaacov I and Usvyatsov A continuous rst order logic and local stability Trans actions of the American Mathematical Society to appear 2 8 Cignoli R L O D Ottaviano I M L and Mundici D Algebraic foundations of many valued reasoning Trends in Logic Studia Logica Library Vol 7 Kluwer Academic Pub lishers Dordrecht 2000 1 9 Chang C C Proof of on axiom of ukasiewicz Transactions of the American Math ematical Society Vol 87 pp 55 56 1958 10 Chang C C A new proof of the completeness of the ukasiewicz axioms Transactions of the American Mathematical Society Vol 87 pp 55 56 1958 11 Chang C C and Jerome Keisler H continuous model theory Princeton University Press 1966 12 Ebbinghaus H D Flum J and Thomas W Mathematical logic second ed Un dergraduate Texts in Mathematics Springer Verlag New York 1994 Translated from the Ferman by Margit MeBmer 2 13 Enderton H B A mathematical introduction logic second ed Harcourt Academic Press Burlington MA 2001 14 H jek P Matamathematics of fuzzy logic Trends in Logic Studia Logica Library Vol a 4 Kluwer Academic Publishers Dordrecht 1998 15 Schmir Hay L Axiomatization of the in nite valued calculus Journal of Symbolic Logic Vol 28 No 1 pp 77 86 1963 2 16 Ward Henson C Nonstandard hulls of Banach spaces Israel Journal of Mathematics Vol 25 pp 108 144 1976 17 Pavelka J On fuzzy logic I II and III Zeitschrift f r Mathematische Logik und u Grundlagen der Mathematik Vol 25 No 5 pp 45 52 pp 119 134 pp 447 464 1979 2 18 Rose A and Barkley Rosser J Fragments of many valued statement calculi Trans actions of the American Mathematical Society Vol 87 pp 1 53 1958 2
