فرموله سازي فيبراسيوني منطق محمولي انتوئيسونيستي ؟ تماميت متناظر با قضاياي گودل ، كريپكه و لوشلي

اصفهان : دانشگاه صنعتي اصفهان . دانشكده رياضي

كارشناسي ارشد (رياضي محض )

در سال 1969، لاور نماد فراآموزه را براي فرموله سازي كاتگوريكي منطق به كار برد. در اين رساله كه عمدتا" بر پايه معادلات مكاي ([1] و [2]) تدوين شده است ، نماد معادل فراآموزه يعني فيبراسيونها را به كار برده ام . در فصل اول مفهوم فيبراسيون و چند نوع خاص از فيبراسيونها را ارائه داده و همچنين شرح داده ام كه چگونه نماد فيبراسيون ، چهارچوب مناسبي براي منطق محمولي انتونسيونيستي به دست مي دهد. سپس در فصل هاي بعدي قضايايي متناظر با قضاياي تماميت گودل ، كريپكه و لوشلي ارائه شده است كه نمايش مناسبي براي قضاياي تماميت ذكر شده در چهارچوب فيبراسيوني مي باشند. فصل دوم به قضيه تماميت گودل ، فصل پنجم به قضيه تماميت كريپكه و فصل ششم به قضيه تماميت لوشلي اختصاص دارد. در فصل سوم كه تكنيكي ترين فصل اين رساله مي باشد قضايايي اثبات خواهد شد كه از آنها عمدتا" در فصل پنجم استفاده شده است . فصل چهارم به معرفي چند گونه شي ء آزاد اختصاص دارد. خلاصه مندرجات : ... مفاهيم پايه ,تماميت گودل ,بعضي ساختارهاي كاتگوريكي ,اشياء آزاد,تماميت كريپكه ,تماميت لوشلي ...

5099

رياضي

دانشگاه صنعتي اصفهان

محمود بينايمطلق