Possibly Relevant Translations

तकनीकी सारांश: संभवतः प्रासंगिक अनुवाद

समस्या और प्रेरणा
यह शोध पत्र प्रासंगिक तर्क (विशेष रूप से एंडरसन-बेलनैप वंशावली) और सामान्य मोडल लॉजिक (normal modal logics) के बीच संरचनात्मक संबंध को संबोधित करता है। जबकि सहजतावादी तर्क (intuitionistic logic) का शास्त्रीय मोडल लॉजिक में अनुवाद (गोडेल-मैकिन्से-टार्स्की अनुवाद के माध्यम से) ऐतिहासिक रूप से महत्वपूर्ण अंतर-परंपरा विनिमय को बढ़ावा देता रहा है, प्रासंगिक और मोडल लॉजिक के बीच एक तुलनीय, व्यवस्थित अनुवाद अभी भी अल्पविकसित है। लेखक का लक्ष्य प्रासंगिक लॉजिक से सामान्य मोडल लॉजिक में पूर्ण और निष्ठावान (full and faithful) अनुवाद स्थापित करना है ताकि संरचनात्मक संबंधों को स्पष्ट किया जा सके, सहवर्ती परिणाम प्राप्त किए जा सकें, और वर्तमान अनुवाद संबंधी दृष्टिकोणों की सीमाओं की पहचान की जा सके। यह कार्य प्रारंभिक रूप से धनात्मक खंड $\{\land, \lor, \to\}$ पर ध्यान केंद्रित करता है और धीरे-धीरे सत्य स्थिरांक $t$, फ्यूजन $\circ$, और निषेध $\neg$ को शामिल करने के लिए विस्तारित होता है।

कार्यप्रणाली
यह शोध पत्र एक अर्थपूर्ण (semantic) दृष्टिकोण अपनाता है, जिसमें दो अलग-अलग ढांचों के बीच मॉडल रूपांतरणों का उपयोग किया गया है:

1. रॉटली-मेयर फ्रेम्स (Routley–Meyer Frames): प्रासंगिक लॉजिक के लिए मानक अर्थशास्त्र, जिसे त्रिक $(K, R, N)$ के रूप में परिभाषित किया गया है जहाँ $R$ एक त्रिपद संबंध (ternary relation) है और $N$ सामान्य बिंदुओं का एक सेट है, जो विशिष्ट क्रम और संबंध संबंधी बाधाओं (जैसे, "down-down-up" स्थिति) के अधीन है।
2. क्रिपके फ्रेम्स (Kripke Frames): सामान्य मोडल लॉजिक के लिए मानक अर्थशास्त्र, जिसे जोड़े $(W, R)$ (या विस्तारित भाषाओं के लिए अतिरिक्त संबंधों वाले टुपल्स) के रूप में परिभाषित किया गया है।

मुख्य कार्यप्रणाली एक अनुवाद फलन (जिसे $\star$, $\ast$, या $\circ$ द्वारा दर्शाया गया है) को प्रासंगिक सूत्रों से मोडल सूत्रों में परिभाषित करने में निहित है। यह सिद्ध करने के लिए कि ये अनुवाद पूर्ण (यदि एक प्रासंगिक निहितार्थ मान्य है, तो मोडल अनुवाद मान्य है) और निष्ठावान (यदि मोडल अनुवाद मान्य है, तो प्रासंगिक निहितार्थ मान्य है) हैं, लेखक दो मॉडल रूपांतरणों का निर्माण करते हैं:

• $F$: पॉइंटेड क्रिपके मॉडलों को पॉइंटेड रॉटली-मेयर मॉडलों में मैप करता है।
• $G$: पॉइंटेड रॉटली-मेयर मॉडलों को पॉइंटेड क्रिपके मॉडलों में मैप करता है।

ये रूपांतरण एडजंक्शन पैटर्न (adjunction patterns) को संतुष्ट करने के लिए डिज़ाइन किए गए हैं जहाँ एक मॉडल में संतुष्टि दूसरे में अनुवादित सूत्र की संतुष्टि के अनुरूप होती है। शोध पत्र सहसंबंध सिद्धांत (विशेष रूप से साल्क्विस्ट सहसंबंध/Sahlqvist correspondence) का भी उपयोग करता है ताकि क्रिपके अर्थशास्त्र में उन फ्रेम स्थितियों की पहचान की जा सके जो विशिष्ट प्रासंगिक अभिगृहीतों (axioms) के अनुरूप हैं।

प्रमुख योगदान और परिणाम

1. मूल धनात्मक अनुवाद ($\star$):

   • लेखक $\{\land, \lor, \to\}$ खंड के लिए एक अनुवाद $\star$ को परिभाषित करता है जहाँ $\to$ को एक परिभाषित मोडल ऑपरेटर $\neg \Diamond(\cdot, \neg \cdot)$ में मैप किया जाता है।
   • प्रमेय 1.4: यह स्थापित करता है कि मूल प्रासंगिक लॉजिक $B^+$ और मूल बाइनरी मोडल लॉजिक $K_2$ के लिए, $\vdash_{B^+} \phi \to \psi$ यदि और केवल यदि $\vdash_{K_2} \phi^\star \supset \psi^\star$।
   • मजबूत लॉजिकों तक विस्तार: यह अनुवाद अभिगृहीतों 7-10 (जैसे, $TW^+$, $TWJ^+$, $C^+$) के उपसमुच्चयों द्वारा अभिगृहीत लॉजिकों तक विस्तारित होता है। हालाँकि, शोध पत्र यह प्रदर्शित करता है कि यह अनुवाद उन लॉजिकों के लिए विफल रहता है जिनमें संकुचन (contraction - अभिगृहीत 11) या अभिकथन (assertion - अभिगृहीत 12) की आवश्यकता होती है, जैसे कि $R^+$। यह विफलता इसलिए उत्पन्न होती है क्योंकि सरल क्रिपके अर्थशास्त्र में वे विशिष्ट क्रम संबंधी स्थितियाँ (जैसे "down-down-up" गुण) नहीं होती हैं जो रॉटली-मेयर फ्रेम्स में अंतर्निहित हैं और इन अभिगृहीतों को मान्य करने के लिए आवश्यक हैं।

2. नेस्टेड इंप्लिकेशन अनुवाद ($\ast$):

   • उन सूत्रों को संबोधित करने के लिए जहाँ मुख्य संयोजक (connective) $\to$ नहीं है, एक दूसरा अनुवाद $\ast$ पेश किया गया है, जो $\phi \to \psi$ को $\Box_\to(\phi^\star \supset \psi^\star)$ में मैप करता है।
   • प्रमेय 1.7: यह दर्शाता है कि $\ast$ सभी धनात्मक सूत्रों के लिए $B^+$ का $K_2$ में एक पूर्ण और निष्ठावान एम्बेडिंग प्रदान करता है, जिससे $B^+$ को $K_2$ के एक वाक्यात्मक खंड के रूपas साकार किया जाता है।
   • $\star$-अनुवाद की तरह, यह दृष्टिकोण संकुचन और अभिकथन वाले लॉजिकों में विस्तारित होने पर भी सीमाओं का सामना करता है।

3. अनिर्धारणीयता (Undecidability) और इंटरपोलेशन:

   • शोध पत्र प्रासंगिक लॉजिक से मोडल लॉजिक में अनिर्धारणीयता परिणामों को स्थानांतरित करता है। विशेष रूप से, यह सिद्ध करता है कि $TWJ^+$ और $C^+$ के फ्रेम स्थितियों के अनुरूप मोडल लॉजिक अनिर्धारणीय हैं (प्रमेय 1.9), जो उरक्वार्ट और अन्य के मौजूदा परिणामों को पूरक बनाता है।
   • लेखक क्रेग इंटरपोलेशन प्रॉपर्टी (CIP) के संबंध में खुले प्रश्न उठाते हैं। जबकि $K_2$ में CIP है, यह अज्ञात है कि क्या $B^+$ में यह है। अनुवाद यह सुझाव देता है कि यदि $B^+$ में CIP का अभाव है, तो यह अनुवाद के विशिष्ट व्यवहार या कुछ शब्दावली की कमी के कारण हो सकता है।

4. विस्तारित अनुवाद ($\circ$):

   • संकुचन और अभिकथन के संबंध में पिछले अनुवादों की सीमाओं को दूर करने के लिए, शोध पत्र एक समृद्ध मोडल भाषा में एक अनुवाद पेश करता है जिसमें एक नलरी (nullary) मोडलिटी $t$ और एक बाइनरी मोडलिटी $\circ$ शामिल है।
   • परिभाषा 2.2: मोडल $B^+$ ($Mod.B^+$) को रेसिड्यूएशन अभिगृहीतों और रॉटली-मेयर फ्रेम स्थितियों (विलोमता, संक्रामकता, अपसेट, आदि) के अनुरूप अभिगृहीतों वाले न्यूनतम सामान्य मोडल लॉजिक के रूप में परिभाषित किया गया है।
   • प्रमेय 2.5: यह प्रदर्शित करता है कि $t$ और $\circ$ के साथ विस्तारित भाषा के लिए, अनुवाद $\circ$ पूर्ण और निष्ठावान है: $\vdash_B \phi$ यदि और केवल यदि $\vdash_{Mod.B^+} t \supset \phi^\circ$। यह अनुवाद क्रिपके अर्थशास्त्र के भीतर रॉटली-मेयर फ्रेम्स के संरचनात्मक बाधाओं (क्रम संबंध $\leq$ सहित) को सफलतापूर्वक कैप्चर करता है।
   • प्रमेय 2.8: एक यूनरी मोडलिटी $\Box_\neg$ और संबंधित फ्रेम स्थितियों (इवोल्यूशन और ऑर्डर-रिवर्ज़ल) को पेश करके इस परिणाम को पूर्ण भाषा (जिसमें निषेध $\neg$ शामिल है) तक विस्तारित करता है।

महत्व और दावे
शोध पत्र विनम्रतापूर्वक अनुवादों की एक श्रृंखला के माध्यम से प्रासंगिक और मोडल लॉजिक के बीच संरचनात्मक संबंधों को स्पष्ट करने का दावा करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

• मूल प्रासंगिक लॉजिक $B$ (और $t, \circ, \neg$ के साथ इसके विस्तार) का एक विशिष्ट सामान्य मोडल लॉजिक ($Mod.B$) में पूर्ण और निष्ठावान अनुवाद प्रदान करना, जिससे प्रासंगिक लॉजिक को मोडल लॉजिक के एक वाक्यात्मक खंड के रूप में साकार किया जा सके।
• मजबूत प्रासंगिक लॉजिकों (जैसे $R^+$) पर लागू होने वाले सरल अनुवादों (जैसे $\star$) की सीमाओं को उजागर करना, विशेष रूप से यह नोट करना कि मानक क्रिपके फ्रेम्स अतिरिक्त अभिगृहीतों या मोडालिटीज़ के बिना रॉटली-मेयर फ्रेम्स के आवश्यक क्रम-सैद्धांतिक गुणों को कैप्चर नहीं कर सकते हैं।
• दोनों परंपराओं के बीच मेटा-लॉजिकल गुणों (जैसे निश्चयात्मकता और अनिर्धारणीयता) के स्थानांतरण को सुगम बनाना।
• खुले प्रश्न पहचानना, विशेष रूप से $B^+$ में इंटरपोलेशन प्रॉपर्टी के संबंध में और फ्रेम-अपूर्ण (frame-incomplete) लॉजिकों को शामिल करने के लिए संरचनात्मक संबंध को गहरा करने की क्षमता के बारे में।

लेखक स्पष्ट रूप से कहता है कि शोध पत्र "गहन होने के बजाय अन्वेषणात्मक और व्यापक" है, और भविष्य के कार्य के लिए अधिक गहन दार्शनिक प्रेरणाओं और गहरे संरचनात्मक संबंधों को छोड़ देता है।