सामान्य फ्रेम

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

परिभाषा

मॉडल सामान्य फ्रेम ट्रिपल है $\mathbf {F} =\langle F,R,V\rangle$, जहां$\langle F,R\rangle$ क्रिप्के फ़्रेम है (अर्थात, $R$ समुच्चय पर द्विआधारी संबंध है $F$), और $V$ के उपसमुच्चय का समुच्चय है $F$ जो निम्नलिखित के अनुसार बंद है:

• (द्विआधारी) प्रतिच्छेदन (समुच्चय सिद्धांत), संघ (समुच्चय सिद्धांत), और पूरक (समुच्चय सिद्धांत) के बूलियन संचालन,
• संचालन $\Box$, द्वारा परिभाषित $\Box A=\{x\in F\mid \forall y\in F\,(x\,R\,y\to y\in A)\}$.

वे इस प्रकार समुच्चय के क्षेत्र कि विशेष स्थितिया हैं या अतिरिक्त संरचना के साथ समुच्चय के क्षेत्र। उद्देश्य से $V$ फ्रेम में अनुमत मूल्यांकन को प्रतिबंधित करता है: मॉडल $\langle F,R,\Vdash \rangle$ क्रिप्के फ्रेम पर आधारित है $\langle F,R\rangle$ सामान्य ढांचे में $\mathbf {F}$ स्वीकार्य है, यदि

$\{x\in F\mid x\Vdash p\}\in V$ प्रत्येक प्रस्तावक चर के लिए $p$.

बंद करने की स्थिति चालू है $V$ तो सुनिश्चित करें $\{x\in F\mid x\Vdash A\}$ से संबंधित $V$ प्रत्येक सूत्र के लिए $A$ (न केवल चर)।

सूत्र $A$ में मान्य है $\mathbf {F}$, यदि $x\Vdash A$ सभी स्वीकार्य मूल्यांकन के लिए $\Vdash$, और सभी बिंदु $x\in F$. सामान्य मॉडल तर्क $L$ फ्रेम में मान्य है $\mathbf {F}$, यदि सभी अभिगृहीत (या समतुल्य, सभी प्रमेय (तर्क) हैं $L$ में मान्य हैं $\mathbf {F}$. ऐसे में हम पुकारते हैं $\mathbf {F}$ $L$- फ्रेम ।

क्रिपके फ्रेम $\langle F,R\rangle$ सामान्य ढांचे के साथ पहचाना जा सकता है जिसमें सभी मूल्यांकन स्वीकार्य हैं: अर्थात, $\langle F,R,{\mathcal {P}}(F)\rangle$, जहां${\mathcal {P}}(F)$ के सत्ता स्थापित $F$ को दर्शाता है

फ्रेम के प्रकार

पूर्ण सामान्यता में, क्रिपके मॉडल के लिए सामान्य फ्रेम संभवतः ही फैंसी नाम से अधिक हैं; विशेष रूप से, अभिगम्यता संबंध पर गुणों के लिए मॉडल स्वयंसिद्धों का पत्राचार खो गया है। स्वीकार्य मूल्यांकन के समुच्चय पर अतिरिक्त शर्तें लगाकर इसका उपचार किया जा सकता है।

फ्रेम $\mathbf {F} =\langle F,R,V\rangle$ कहा जाता है

• विभेदित, यदि $\forall A\in V\,(x\in A\Leftrightarrow y\in A)$ तात्पर्य $x=y$,
• तंग, यदि $\forall A\in V\,(x\in \Box A\Rightarrow y\in A)$ तात्पर्य $x\,R\,y$,
• कॉम्पैक्ट, यदि का प्रत्येक उपसमुच्चय $V$ परिमित प्रतिच्छेदन संपत्ति के साथ गैर-खाली प्रतिच्छेदन है,
• परमाणु, यदि $V$ सभी एकमात्र सम्मिलित हैं,
• परिष्कृत, यदि यह विभेदित और तंग है,
• वर्णनात्मक, यदि यह परिष्कृत और कॉम्पैक्ट है।

क्रिप्के फ्रेम परिष्कृत और परमाणु हैं। चूँकि, अनंत क्रिपके फ्रेम कभी भी कॉम्पैक्ट नहीं होते हैं। प्रत्येक परिमित विभेदित या परमाणु फ्रेम क्रिपके फ्रेम है।

द्वैत सिद्धांत के कारण वर्णनात्मक फ्रेम फ्रेम का सबसे महत्वपूर्ण वर्ग है (नीचे देखें)। वर्णनात्मक और क्रिपके फ्रेम के सामान्य सामान्यीकरण के रूप में परिष्कृत फ्रेम उपयोगी होते हैं।

फ्रेम पर संचालन और रूपवाद

हर क्रिपके मॉडल $\langle F,R,{\Vdash }\rangle$ सामान्य ढांचे को प्रेरित करता है $\langle F,R,V\rangle$, जहां$V$ परिभाषित किया जाता है

$V={\big \{}\{x\in F\mid x\Vdash A\}\mid A{\hbox{ is a formula}}{\big \}}.$

उत्पन्न किए गए सबफ़्रेम, कृपके शब्दार्थ या मॉडल_निर्माण | पी-मॉर्फिक इमेज, और क्रिप्के फ़्रेम के असंयुक्त संघों के मौलिक सत्य-संरक्षण संचालन में सामान्य फ़्रेम पर एनालॉग होते हैं। फ्रेम $\mathbf {G} =\langle G,S,W\rangle$ फ्रेम का उत्पन्न सबफ्रेम है $\mathbf {F} =\langle F,R,V\rangle$, यदि क्रिप्के फ्रेम $\langle G,S\rangle$ क्रिप्के फ्रेम का उत्पन्न सबफ्रेम है $\langle F,R\rangle$ (अर्थात।, $G$ का उपसमुच्चय है $F$ के नीचे ऊपर की ओर बंद हुआ है $R$, और $S=R\cap G\times G$), और

$W=\{A\cap G\mid A\in V\}.$

पी-मोर्फिज्म (या बाउंड रूपवाद) $f\colon \mathbf {F} \to \mathbf {G}$ से फलन है $F$ को $G$ यह क्रिपके फ्रेम का पी-मोर्फिज्म है $\langle F,R\rangle$ और $\langle G,S\rangle$, और अतिरिक्त बाधा को संतुष्ट करता है

$f^{-1}[A]\in V$ हर के लिए $A\in W$.

फ़्रेम के अनुक्रमित समुच्चय का असंयुक्त संघ $\mathbf {F} _{i}=\langle F_{i},R_{i},V_{i}\rangle$, $i\in I$, फ्रेम है $\mathbf {F} =\langle F,R,V\rangle$, जहां$F$ का असंयुक्त संघ है $\{F_{i}\mid i\in I\}$, $R$ का संघ है $\{R_{i}\mid i\in I\}$, और

$V=\{A\subseteq F\mid \forall i\in I\,(A\cap F_{i}\in V_{i})\}.$

फ्रेम का शोधन $\mathbf {F} =\langle F,R,V\rangle$ परिष्कृत ढांचा है $\mathbf {G} =\langle G,S,W\rangle$ निम्नानुसार परिभाषित किया गया है। हम तुल्यता संबंध पर विचार करते हैं

$x\sim y\iff \forall A\in V\,(x\in A\Leftrightarrow y\in A),$

और जाने $G=F/{\sim }$ के तुल्यता वर्गों का समुच्चय हो $\sim$. फिर हम डालते हैं

$\langle x/{\sim },y/{\sim }\rangle \in S\iff \forall A\in V\,(x\in \Box A\Rightarrow y\in A),$

$A/{\sim }\in W\iff A\in V.$

संपूर्णता

क्रिपके फ्रेम के विपरीत, हर सामान्य मॉडल लॉजिक $L$ सामान्य फ़्रेमों के वर्ग के संबंध में पूर्ण है। यह इस बात का परिणाम है कि $L$ क्रिप्के मॉडलों के वर्ग के संबंध में पूर्ण है $\langle F,R,{\Vdash }\rangle$: जैसा $L$ प्रतिस्थापन के अनुसार बंद है, द्वारा प्रेरित सामान्य फ्रेम $\langle F,R,{\Vdash }\rangle$ $L$- फ्रेम । इसके अतिरिक्त, हर तर्क $L$ वर्णनात्मक फ्रेम के संबंध में पूर्ण है। वास्तव में, $L$ अपने विहित मॉडल के संबंध में पूर्ण है, और विहित मॉडल द्वारा प्रेरित सामान्य फ्रेम (विहित फ्रेम कहा जाता है) $L$) वर्णनात्मक है।

जॉनसन-तर्स्की द्वैत

द रिगर-निशिमुरा सीढ़ी: 1-सार्वभौमिक अंतर्ज्ञानवादी क्रिपके फ्रेम।

इसका दोहरा हेयटिंग बीजगणित, रीगर-निशिमुरा जालक। यह 1 जेनरेटर पर मुफ्त हेटिंग बीजगणित है।

सामान्य फ्रेम मॉडल बीजगणित के साथ घनिष्ठ संबंध रखते हैं। होने देना $\mathbf {F} =\langle F,R,V\rangle$ सामान्य फ्रेम बनें। समुच्चय $V$ बूलियन संचालन के अनुसार बंद है, इसलिए यह पावर समुच्चय बूलियन बीजगणित (संरचना) का उपबीजगणित है $\langle {\mathcal {P}}(F),\cap ,\cup ,-\rangle$. इसमें अतिरिक्त यूनरी ऑपरेशन भी होता है, $\Box$. संयुक्त संरचना $\langle V,\cap ,\cup ,-,\Box \rangle$ मॉडल बीजगणित है, जिसे का दोहरा बीजगणित कहा जाता है $\mathbf {F}$, और द्वारा दर्शाया गया $\mathbf {F} ^{+}$.

विपरीत दिशा में, दोहरे फ्रेम का निर्माण संभव है $\mathbf {A} _{+}=\langle F,R,V\rangle$ किसी भी मॉडल बीजगणित के लिए $\mathbf {A} =\langle A,\wedge ,\vee ,-,\Box \rangle$. बूलियन बीजगणित $\langle A,\wedge ,\vee ,-\rangle$ पत्थर की स्थान है, जिसका अंतर्निहित समुच्चय $F$ के सभी अल्ट्राफिल्टर का समुच्चय है $\mathbf {A}$. समुच्चय $V$ स्वीकार्य मूल्यांकन में $\mathbf {A} _{+}$ के क्लोपेन समुच्चय के उप-समूचय होते हैं $F$, और अभिगम्यता संबंध $R$ द्वारा परिभाषित किया गया है

$x\,R\,y\iff \forall a\in A\,(\Box a\in x\Rightarrow a\in y)$

सभी अल्ट्राफिल्टर के लिए $x$ और $y$.

फ्रेम और उसके दोहरे ही सूत्र को मान्य करते हैं, इसलिए सामान्य फ्रेम शब्दार्थ और बीजगणितीय शब्दार्थ अर्थ में समकक्ष हैं। डबल द्वैत $(\mathbf {A} _{+})^{+}$ किसी भी मॉडल बीजगणित का समरूपी है $\mathbf {A}$ अपने आप। यह फ्रेम के दोहरे दोहरे के लिए सामान्य रूप से सही नहीं है, क्योंकि प्रत्येक बीजगणित का दोहरा वर्णनात्मक है। वास्तव में, फ्रेम $\mathbf {F}$ वर्णनात्मक है यदि और केवल यदि यह अपने दोहरे दोहरे के लिए समरूपी है $(\mathbf {F} ^{+})_{+}$.

एक तरफ पी-रूपवाद के द्वैत को परिभाषित करना भी संभव है, और दूसरी तरफ मॉडल बीजगणित समरूपता। ऐसे में ऑपरेटर्स $(\cdot )^{+}$ और $(\cdot )_{+}$ सामान्य फ़्रेमों की श्रेणी (गणित) और मॉडल बीजगणित की श्रेणी के बीच प्रतिपरिवर्ती फ़ैक्टरों की जोड़ी बनें। ये मजदूर वर्णनात्मक फ्रेम की श्रेणियों और मॉडल बीजगणित के बीच श्रेणियों की समानता प्रदान करते हैं (बर्जनी जोन्ससन और अल्फ्रेड टार्स्की के बाद जोन्सन-टार्स्की द्वंद्व कहा जाता है)। यह समुच्चययाजटिल बीजगणित के क्षेत्र और संबंधपरक संरचनाओं पर समुच्चय के क्षेत्र के बीच अधिक सामान्य द्वैत का विशेष स्थितिया है।

अंतर्ज्ञानवादी फ्रेम

अंतर्ज्ञानवादी और मध्यवर्ती लॉजिक्स के लिए फ्रेम अर्थ विज्ञान को मॉडल लॉजिक्स के अर्थ विज्ञान के समानांतर विकसित किया जा सकता है। अंतर्ज्ञानवादी सामान्य फ्रेम ट्रिपल है $\langle F,\leq ,V\rangle$, जहां$\leq$ पर आंशिक आदेश है $F$, और $V$ के ऊपरी समुच्चय (शंकु) का समुच्चय है $F$ जिसमें खाली समुच्चय है, और नीचे बंद है

• प्रतिच्छेदन और मिलन,
• संचालन $A\to B=\Box (-A\cup B)$.

वैधता और अन्य अवधारणाओं को तब मॉडल फ्रेम के समान निवेदित किया जाता है स्वीकार्य वैल्यूएशन के समुच्चय के कमजोर समापन गुणों को समायोजित करने के लिए आवश्यक कुछ बदलावों के साथ वैधता और अन्य अवधारणाओं को मॉडल फ्रेम के समान प्रस्तुत किया जाता है। विशेष रूप से, अंतर्ज्ञानवादी फ्रेम $\mathbf {F} =\langle F,\leq ,V\rangle$ कहा जाता है

• तंग, यदि $\forall A\in V\,(x\in A\Leftrightarrow y\in A)$ तात्पर्य $x\leq y$,
• कॉम्पैक्ट, यदि का प्रत्येक उपसमुच्चय $V\cup \{F-A\mid A\in V\}$ परिमित प्रतिच्छेदन संपत्ति के साथ गैर-खाली प्रतिच्छेदन है।

तंग अंतर्ज्ञानवादी फ्रेम स्वचालित रूप से विभेदित होते हैं, इसलिए परिष्कृत होते हैं।

अंतर्ज्ञानवादी फ्रेम का दोहरा $\mathbf {F} =\langle F,\leq ,V\rangle$ हेटिंग बीजगणित है $\mathbf {F} ^{+}=\langle V,\cap ,\cup ,\to ,\emptyset \rangle$. हेटिंग बीजगणित का दोहरा $\mathbf {A} =\langle A,\wedge ,\vee ,\to ,0\rangle$ अंतर्ज्ञानवादी ढांचा है $\mathbf {A} _{+}=\langle F,\leq ,V\rangle$, जहां$F$ के सभी प्रधान फिल्टर का समुच्चय है $\mathbf {A}$, आदेश $\leq$ समावेशन (समुच्चय सिद्धांत) है, और $V$ के सभी उपसमुच्चय होते हैं $F$ फार्म का

$\{x\in F\mid a\in x\},$

जहां$a\in A$. जैसा कि मॉडल स्थितियों में है, $(\cdot )^{+}$ और $(\cdot )_{+}$ प्रतिपरिवर्ती फ़ैक्टरों की जोड़ी है, जो हेटिंग बीजगणित की श्रेणी को वर्णनात्मक अंतर्ज्ञानवादी फ़्रेमों की श्रेणी के बराबर बनाते हैं।

सकर्मक आसान मॉडल फ्रेम से अंतर्ज्ञानवादी सामान्य फ्रेम बनाना संभव है और इसके विपरीत, मॉडल साथी देखें।

संदर्भ

• Alexander Chagrov and Michael Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.
• Patrick Blackburn, Maarten de Rijke, and Yde Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.