Download
1 / 24
240 likes | 375 Views
دومين منطق پيش‌جدولي در ميان منطق‌های ربط كلاسيك. A second Pretabular Classical Relevant Logic. اسدالله فلاحي. Assadollah Fallahi. 92/9/27. چكيده سخنراني. « منطق ربط » « منطق پيش‌جدولي» ( Pretabular ) تاريخچة منطقهاي پيش‌جدولي منطقهاي پيش‌جدولي و منطق ربط يافته‌های اين مقاله.
E N D
دومين منطق پيش‌جدوليدر ميان منطق‌های ربط كلاسيك A second Pretabular Classical Relevant Logic اسدالله فلاحي AssadollahFallahi 92/9/27
چكيده سخنراني «منطق ربط» «منطق پيش‌جدولي» (Pretabular) تاريخچة منطقهاي پيش‌جدولي منطقهاي پيش‌جدولي و منطق ربط يافته‌های اين مقاله
معرفي منطق ربط A → (B → A) (A → (B → C)) → (B → (A → C)) (A → (B → C)) → ((A → B) → (A → C)) A → ~ ~ A ~ ~ A → A (A → B) → (~ B → ~ A) پارادوكس مثبت اصول موضوعةمنطق فرگه اصل هماني A → A (A → B) → ((B → C) → (A → C)) (A → (B → C)) → (B → (A → C)) (A → (B → C)) → ((A → B) → (A → C)) A → ~ ~ A ~ ~ A → A (A → B) → (~ B → ~ A) اصول موضوعة منطق ربط اصل تعدي
تعريف منطق پيش‌جدولي نخستين منطقهاي پيش‌جدولي صورت‌بندی اين منطق‌ها
روش‌هاي اثبات پيش‌جدولي بودن روش اثبات: 1. فروكاست ادات‌هاي مفهومي به ادات‌هاي مصداقي
روش دوم: سمانتيك كريپكي و تكنيك‌هاي جبري 3 = (A → B) (B → A) LC = Int + (A → B) (B → A)
1 روش دوم: سمانتيك كريپكي و تكنيك‌هاي جبري ··· → 1 → 1 → 1 Validity-preserving operations: Generated subframes Reductions (p-morphisms) Disjoint unions
منطق ربط و منطقهاي پيش‌جدولي روش اثبات گالميناس و مرش : روش فروكاست
منطق ربط و منطقهاي پيش‌جدولي روش اثبات گالميناس و مرش : روش فروكاست
منطق ربط و منطقهاي پيش‌جدولي روش اثبات گالميناس و مرش : روش فروكاست
منطق ربط و منطقهاي پيش‌جدولي روش اثبات گالميناس و مرش : روش فروكاست
مدعاي مقاله حاضر دومين منطق پيش‌جدولي در ميان منطقهاي ربط كلاسيك + دو منطق پيش‌جدولي ديگر
دومين منطق پيش‌جدولي در ميان منطقهاي ربط كلاسيك 3 = (A → B) (B → A) شباهت‌هاي منطق KR3 ومنطق S4.3 : الف. سمانتيك كريپكي با دسترسي دوموضعي ب. سه گسترش پيش‌جدولي ج. اثبات يكي به روش فروكاست و دو ديگر به روش سمانتيكي - جبري LC = Int + (A → B) (B → A) A =df(~ A → A) (A ◦ B) =df ~ (A → ~ B)
g g 1 1 سمانتيك كريپكي (رابطه دسترسي دوموضعي) g → ··· → 1 → 1 → 1 ··· → 1 → 1 → 1
