WikiDer > O'zaro izohlash mumkinligi

Yilda matematik mantiq, o'zaro tushuntirish a ikkilik munosabat kuni rasmiy nazariyalar: rasmiy nazariya T bu tushunarli yana bir shunday nazariyada S, qachon tili S tiliga tarjima qilish mumkin T shunday qilib S tarjimasi a bo'lgan har bir formulani isbotlaydi teorema ning T. Bu erda "tarjima" formulalarning mantiqiy tuzilishini saqlab qolish uchun talab qilinadi.

Ushbu kontseptsiya ma'lum ma'noda dual izohlashtomonidan kiritilgan Japaridze (1993) harvtxt xatosi: maqsad yo'q: CITEREFJaparidze1993 (Yordam bering), kim ham buni isbotladi, nazariyalari uchun Peano arifmetikasi va samarali bo'lgan har qanday kuchli nazariyalar aksiomatizatsiya, o'zaro izohlash tengdir ${ displaystyle Sigma _ {1}}$-konservativlik.

Shuningdek qarang

• Murosasizlik
• izohlash mantig'i.
• Bardoshlik (mantiq bo'yicha)

Adabiyotlar

• Japaridze (Djaparidze), Jorgi (Jorgi) (1993), "Zaif izohlanuvchanlikning umumlashtirilgan tushunchasi va unga mos modal mantiq", Sof va amaliy mantiq yilnomalari, 61 (1–2): 113–160, doi:10.1016 / 0168-0072 (93) 90201-N, JANOB 1218658.
• Japaridze, Giorgi; de Jong, Dik (1998), "Muvofiqlik mantig'i", yilda Buss, Samuel R. (tahr.), Isbot nazariyasining qo'llanmasi, Mantiqni o'rganish va matematikaning asoslari, 137, Amsterdam: Shimoliy-Gollandiya, 475-546-betlar, doi:10.1016 / S0049-237X (98) 80022-0, JANOB 1640331.

Bu mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. v t e