عنوان :
فرموله سازي فيبراسيوني منطق محمولي انتوييسونيستي ; تماميت متناظر با قضاياي گودل ، كريپكه و لوشلي
پديدآورندگان :
بيناي مطلق محمود نويسنده , ريوفي محمدرضا نويسنده
نام دانشگاه :
دانشگاه صنعتي اصفهان ، دانشكده رياضي
كليدواژه زبان طبيعي :
فرموله سازي , منطق محمولي , فيبراسيوني , انتوييسونيستي , قضاياي گودل , قضاياي كريپكه , قضاياي لوشلي , بخش رياضي
چكيده :
در سال 1969، لاور نماد فراآموزه را براي فرموله سازي كاتگوريكي منطق به كار برد. در اين رساله كه عمدتا بر پايه مقالات مكاي ( 1 و 2 ) تدوين شده است ، نماد معادل فراآموزه يعني فيبراسيونها را به كار برده ام . در فصل اول مفهوم فيبراسيون و چند نوع خاص از فيبراسيونها را ارايه داده و همچنين شرح داده ام كه چگونه نماد فيبراسيون ، چهارچوب مناسبي براي منطق محمولي انتويسيونيستي به دست مي دهد...
