संस्थान (कंप्यूटर विज्ञान): Difference between revisions

From Vigyanwiki
No edit summary
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[कंप्यूटर विज्ञान]] में उपयोग की जाने वाली लॉजिकल सिस्टम के बीच जनसंख्या विस्फोट से सामना करने के लिए, संस्था की धारणा 1970 के दशक के अंत में [[जोसेफ गोगुएन]] और [[रॉड बर्स्टल]] द्वारा बनाई गई थी। यह धारणा [[तार्किक प्रणाली|लॉजिकल सिस्टम]] की अनौपचारिक अवधारणा को औपचारिक बनाने का प्रयास करती है।<ref>{{citation |last1=J. A. Goguen |last2=R. M. Burstall |title=Institutions: Abstract model theory for specification and programming |journal=Journal of the ACM | volume=39 |issue=1 |pages=95–146 |date=1992 |doi=10.1145/147508.147524|s2cid=16856895 }}</ref>
इंस्टिट्यूशन की धारणा [[जोसेफ गोगुएन]] और [[रॉड बर्स्टल]] द्वारा 1970 के दशक के अंत में "[[कंप्यूटर विज्ञान]] में प्रयुक्त लॉजिकल सिस्टम के बीच जनसंख्या विस्फोट" से निपटने के लिए बनाई गई थी। यह धारणा लॉजिकल सिस्टम की "अनौपचारिक" अवधारणा को औपचारिक बनाने का प्रयास करती है।<ref>{{citation |last1=J. A. Goguen |last2=R. M. Burstall |title=Institutions: Abstract model theory for specification and programming |journal=Journal of the ACM | volume=39 |issue=1 |pages=95–146 |date=1992 |doi=10.1145/147508.147524|s2cid=16856895 }}</ref>


संस्थानों का उपयोग विनिर्देशन लैंग्वेज (जैसे विशिष्टताओं की संरचना, मानकीकरण, कार्यान्वयन, शोधन और विकास), [[प्रमाण गणना|प्रमाण कैल्कुली]], और यहां तक ​​​​कि अंतर्निहित लॉजिकल सिस्टम से पूरी तरह से स्वतंत्र उपकरणों की अवधारणाओं को विकसित करना संभव बनाता है। ऐसी आकृतियाँ भी हैं जो लॉजिकल सिस्टम को जोड़ने और अनुवाद करने की अनुमति देती हैं। इसके महत्वपूर्ण अनुप्रयोग हैं इसके महत्वपूर्ण अनुप्रयोग लॉजिकल संरचना (जिसे उधार भी कहा जाता है) और विषम विनिर्देश और तर्कों का संयोजन का पुन: उपयोग है।
इंस्टीट्यूशन का उपयोग विनिर्देशन लैंग्वेज (जैसे विशिष्टताओं की संरचना, मानकीकरण, कार्यान्वयन, शोधन और विकास), [[प्रमाण गणना|प्रमाण कैल्कुली]], और यहां तक ​​​​कि अंतर्निहित लॉजिकल सिस्टम से पूरी तरह से स्वतंत्र उपकरणों की अवधारणाओं को विकसित करना संभव बनाता है। ऐसी आकृतियाँ भी हैं जो लॉजिकल सिस्टम को जोड़ने और अनुवाद करने की अनुमति देती हैं। इसके महत्वपूर्ण अनुप्रयोग हैं इसके महत्वपूर्ण अनुप्रयोग लॉजिकल संरचना (जिसे उधार भी कहा जाता है) और विषम विनिर्देश और लॉजिक का संयोजन का पुन: उपयोग है।


संस्थागत [[मॉडल सिद्धांत]] के प्रसार ने मॉडल सिद्धांत की विभिन्न धारणाओं और परिणामों को सामान्यीकृत किया है, और संस्थानों ने स्वयं [[सार्वभौमिक तर्क]] की प्रगति को प्रभावित किया है।<ref>{{citation |last1=Razvan Diaconescu |chapter=Three decades of institution theory |title=Universal Logic: An Anthology |editor-last1=Jean-Yves Béziau |date=2012 |publisher=Springer | chapter-url=https://www.springer.com/gp/book/9783034601443 |pages=309–322}}</ref><ref>{{citation |last1=T. Mossakowski |last2=J. A. Goguen |last3=R. Diaconescu |last4=A. Tarlecki |chapter=What is a logic?: In memoriam Joseph Goguen |doi=10.1007/978-3-7643-8354-1_7 |editor-last1=Jean-Yves Beziau |title=Logica Universalis: Towards a General Theory of Logic |pages=113–133 |publisher=Birkhäuser, Basel |date=2007 |edition=2nd}}</ref>
संस्थागत [[मॉडल सिद्धांत]] के प्रसार ने मॉडल सिद्धांत की विभिन्न धारणाओं और परिणामों को सामान्यीकृत किया है, और इंस्टीट्यूशन ने स्वयं [[सार्वभौमिक तर्क|यूनीवर्सल लॉजिक]] की प्रगति को प्रभावित किया है।<ref>{{citation |last1=Razvan Diaconescu |chapter=Three decades of institution theory |title=Universal Logic: An Anthology |editor-last1=Jean-Yves Béziau |date=2012 |publisher=Springer | chapter-url=https://www.springer.com/gp/book/9783034601443 |pages=309–322}}</ref><ref>{{citation |last1=T. Mossakowski |last2=J. A. Goguen |last3=R. Diaconescu |last4=A. Tarlecki |chapter=What is a logic?: In memoriam Joseph Goguen |doi=10.1007/978-3-7643-8354-1_7 |editor-last1=Jean-Yves Beziau |title=Logica Universalis: Towards a General Theory of Logic |pages=113–133 |publisher=Birkhäuser, Basel |date=2007 |edition=2nd}}</ref>


==परिभाषा==
==परिभाषा==
संस्थानों का सिद्धांत लॉजिकल सिस्टम की प्रकृति के बारे में कुछ भी नहीं मानता है। अर्थात्, [[व्याख्या (तर्क)]] और [[वाक्य (गणितीय तर्क)]] अनैतिक वस्तुएं हो सकती हैं; एकमात्र धारणा यह है कि मॉडल और वाक्यों के बीच एक संतुष्टि संबंध है, जो बताता है कि कोई वाक्य मॉडल में फिट बैठता है या नहीं। संतुष्टि टी-स्कीमा या टार्स्की की सत्य परिभाषा से प्रेरित है, किन्तु वास्तव में यह कोई भी बायनरी संबंध हो सकता है।
इंस्टीट्यूशन का सिद्धांत लॉजिकल सिस्टम की प्रकृति के बारे में कुछ भी नहीं मानता है। अर्थात्, [[व्याख्या (तर्क)|व्याख्या (लॉजिक)]] और [[वाक्य (गणितीय तर्क)|वाक्य (गणितीय लॉजिक)]] अनैतिक वस्तुएं हो सकती हैं; एकमात्र धारणा यह है कि मॉडल और वाक्यों के मध्य संतुष्टि संबंध है, जो बताता है कि कोई वाक्य मॉडल में फिट बैठता है या नहीं। संतुष्टि टी-स्कीमा या टार्स्की की सत्य परिभाषा से प्रेरित है, किन्तु वास्तव में यह कोई भी बायनरी संबंध हो सकता है।


संस्थानों की एक महत्वपूर्ण विशेषता यह है कि मॉडल, वाक्य और उनकी संतुष्टि को सदैव कुछ शब्दावली या संदर्भ (जिसे [[हस्ताक्षर (तर्क)]] कहा जाता है) में रहने वाला माना जाता है जो (गैर-तर्क) प्रतीकों को परिभाषित करता है जिनका उपयोग वाक्यों में किया जा सकता है और जिन्हें मॉडल में व्याख्या करने की आवश्यकता होती है। इसके अतिरिक्क्त, हस्ताक्षर आकारिकी हस्ताक्षर का विस्तार करने, नोटेशन परिवर्तित करने आदि की अनुमति देती है। हस्ताक्षर और हस्ताक्षर आकारिकी के बारे में कुछ भी नहीं माना गया है, अतिरिक्त इसके कि हस्ताक्षर आकारिकी की रचना की जा सकती है; यह एक होने के सामान है
इंस्टीट्यूशन की महत्वपूर्ण विशेषता यह है कि मॉडल, वाक्य और उनकी संतुष्टि को सदैव कुछ शब्दावली या संदर्भ (जिसे [[हस्ताक्षर (तर्क)|सिग्नेचर (लॉजिक)]] कहा जाता है) में रहने वाला माना जाता है जो (गैर-लॉजिक) प्रतीकों को परिभाषित करता है जिनका उपयोग वाक्यों में किया जा सकता है और जिन्हें मॉडल में व्याख्या करने की आवश्यकता होती है। इसके अतिरिक्क्त, सिग्नेचर मोरफोलॉजि सिग्नेचर का विस्तार करने, नोटेशन परिवर्तित करने आदि की अनुमति देती है। सिग्नेचर और सिग्नेचर मोरफोलॉजि के बारे में कुछ भी नहीं माना गया है, अतिरिक्त इसके कि सिग्नेचर मोरफोलॉजि की रचना की जा सकती है; यह होने के सामान है


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


मन लीजिए <math>\mathbf{Cat}^{\mathrm{op}}</math> [[छोटी श्रेणियों की श्रेणी|लघु श्रेणियों की श्रेणी]] के [[विपरीत श्रेणी]] को निरूपित करें। एक संस्था औपचारिक रूप से सम्मिलित होती है
मन लीजिए <math>\mathbf{Cat}^{\mathrm{op}}</math> [[छोटी श्रेणियों की श्रेणी|लघु श्रेणियों की श्रेणी]] के [[विपरीत श्रेणी]] को निरूपित करें। इंस्टिट्यूशन औपचारिक रूप से सम्मिलित होती है


*हस्ताक्षरों की एक श्रेणी <math>\mathbf{Sign}</math>,
*सिग्नेचरों की श्रेणी <math>\mathbf{Sign}</math>,
*एक फ़ंक्टर <math>\mathit{Sen} \colon \mathbf{Sign} \to </math> दे रहा है, प्रत्येक हस्ताक्षर के लिए <math>\mathbf{Set}</math>, वाक्यों का सेट <math>\Sigma</math>, और प्रत्येक हस्ताक्षर रूपवाद <math>\mathit{Sen}(\Sigma)</math> के लिए, वाक्य अनुवाद मानचित्र <math>\sigma \colon \Sigma \to \Sigma'</math>, जहां अधिकांशतः <math>\mathit{Sen}(\sigma) \colon \mathit{Sen}(\Sigma) \to \mathit{Sen}(\Sigma')</math> को <math>\mathit{Sen}(\sigma)(\varphi)</math> के रूप में लिखा जाता है
*एक फ़ंक्टर <math>\mathit{Sen} \colon \mathbf{Sign} \to </math> दे रहा है, प्रत्येक सिग्नेचर के लिए <math>\mathbf{Set}</math>, वाक्यों का सेट <math>\Sigma</math>, और प्रत्येक सिग्नेचर रूपवाद <math>\mathit{Sen}(\Sigma)</math> के लिए, वाक्य अनुवाद मानचित्र <math>\sigma \colon \Sigma \to \Sigma'</math>, जहां अधिकांशतः <math>\mathit{Sen}(\sigma) \colon \mathit{Sen}(\Sigma) \to \mathit{Sen}(\Sigma')</math> को <math>\mathit{Sen}(\sigma)(\varphi)                                                                     </math> के रूप में लिखा जाता है
*एक फ़ंक्टर <math>\mathbf{Mod} \colon \mathbf{Sign} \to \mathbf{Cat}^{\mathrm{op}}</math> दे रहा है, प्रत्येक हस्ताक्षर के लिए <math>\mathbf{Mod}(\Sigma)</math> मॉडल की श्रेणी <math>\sigma \colon \Sigma \to \Sigma'</math>, और प्रत्येक हस्ताक्षर रूपवाद <math>\mathbf{Mod}(\sigma) \colon \mathbf{Mod}(\Sigma') \to \mathbf{Mod}(\Sigma)</math> के लिए, रिडक्ट फ़ंक्टर <math>\mathbf{Mod}(\sigma)(M')</math>, जहां अधिकांशतः <math>M'|_{\sigma}</math> के रूप में लिखा जाता है
*एक फ़ंक्टर <math>\mathbf{Mod} \colon \mathbf{Sign} \to \mathbf{Cat}^{\mathrm{op}}                                                                                                             </math> दे रहा है, प्रत्येक सिग्नेचर के लिए <math>\mathbf{Mod}(\Sigma)</math> मॉडल की श्रेणी <math>\sigma \colon \Sigma \to \Sigma'</math>, और प्रत्येक सिग्नेचर रूपवाद <math>\mathbf{Mod}(\sigma) \colon \mathbf{Mod}(\Sigma') \to \mathbf{Mod}(\Sigma)</math> के लिए, रिडक्ट फ़ंक्टर <math>\mathbf{Mod}(\sigma)(M')</math>, जहां अधिकांशतः <math>M'|_{\sigma}</math> के रूप में लिखा जाता है
*प्रत्येक <math>{\models_{\Sigma}} \subseteq|{\mathbf{Mod}(\Sigma)| \times \mathit{Sen}(\Sigma)}</math> के लिए एक संतुष्टि संबंध <math>\Sigma \in \mathbf{Sign}</math>
*प्रत्येक <math>{\models_{\Sigma}} \subseteq|{\mathbf{Mod}(\Sigma)| \times \mathit{Sen}(\Sigma)}</math> के लिए संतुष्टि संबंध <math>\Sigma \in \mathbf{Sign}</math>


इस प्रकार कि <math>\sigma \colon \Sigma \to \Sigma'</math> में प्रत्येक <math>\mathbf{Sign}</math> के लिए, निम्नलिखित संतुष्टि नियम प्रयुक्त होता है:
इस प्रकार कि <math>\sigma \colon \Sigma \to \Sigma'</math> में प्रत्येक <math>\mathbf{Sign}</math> के लिए, निम्नलिखित संतुष्टि नियम प्रयुक्त होता है:
Line 23: Line 23:
<math display="block">M' \models_{\Sigma'} \sigma(\varphi) \quad\text{if and only if}\quad M'|_{\sigma}
<math display="block">M' \models_{\Sigma'} \sigma(\varphi) \quad\text{if and only if}\quad M'|_{\sigma}
\models_{\Sigma} \varphi</math>
\models_{\Sigma} \varphi</math>
प्रत्येक <math>M' \in \mathbf{Mod}(\Sigma')</math> और <math>\varphi \in \mathit{Sen}(\Sigma)</math> के लिए
प्रत्येक <math>M' \in \mathbf{Mod}(\Sigma')</math> और <math>\varphi \in \mathit{Sen}(\Sigma)</math> के लिए


संतुष्टि की स्थिति यह व्यक्त करती है कि संकेतन के परिवर्तन के अनुसार सत्य अपरिवर्तनीय है (और संदर्भ के विस्तार या उद्धरण के अनुसार भी)।
संतुष्टि की स्थिति यह व्यक्त करती है कि संकेतन के परिवर्तन के अनुसार सत्य अपरिवर्तनीय है (और संदर्भ के विस्तार या उद्धरण के अनुसार भी)।
Line 29: Line 29:
सख्ती से कहें तो मॉडल फ़ैक्टर सभी बड़ी श्रेणियों की "श्रेणी" में समाप्त होता है।
सख्ती से कहें तो मॉडल फ़ैक्टर सभी बड़ी श्रेणियों की "श्रेणी" में समाप्त होता है।


==संस्थानों के उदाहरण==
==इंस्टीट्यूशन के उदाहरण==
* [[सामान्य तर्क]]
* [[सामान्य तर्क|सामान्य लॉजिक]]
* सामान्य बीजीय विशिष्टता लैंग्वेज (सीएएसएल)
* सामान्य बीजीय विशिष्टता लैंग्वेज (सीएएसएल)
* [[प्रथम-क्रम तर्क]]
* [[प्रथम-क्रम तर्क|प्रथम-क्रम लॉजिक]]
* [[उच्च-क्रम तर्क]]
* [[उच्च-क्रम तर्क|उच्च-क्रम लॉजिक]]
* [[अंतर्ज्ञानवादी तर्क]]
* [[अंतर्ज्ञानवादी तर्क|अंतर्ज्ञानवादी लॉजिक]]
* [[मॉडल तर्क]]
* [[मॉडल तर्क|मॉडल लॉजिक]]
* [[मक तर्क]]
* [[मक तर्क|प्रोपोज़िशनल लॉजिक]]
* [[अस्थायी तर्क]]
* [[अस्थायी तर्क|अस्थायी लॉजिक]]
* वेब ओण्टोलॉजी लैंग्वेज (ओडब्ल्यूएल)
* वेब ओण्टोलॉजी लैंग्वेज (ओडब्ल्यूएल)


Line 43: Line 43:
*[[सार मॉडल सिद्धांत|एब्स्ट्रेक्ट मॉडल सिद्धांत]]
*[[सार मॉडल सिद्धांत|एब्स्ट्रेक्ट मॉडल सिद्धांत]]
*संस्थागत मॉडल सिद्धांत
*संस्थागत मॉडल सिद्धांत
* सार्वभौमिक तर्क
* यूनीवर्सल लॉजिक


==संदर्भ==
==संदर्भ==
Line 69: Line 69:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 10:31, 26 November 2023

इंस्टिट्यूशन की धारणा जोसेफ गोगुएन और रॉड बर्स्टल द्वारा 1970 के दशक के अंत में "कंप्यूटर विज्ञान में प्रयुक्त लॉजिकल सिस्टम के बीच जनसंख्या विस्फोट" से निपटने के लिए बनाई गई थी। यह धारणा लॉजिकल सिस्टम की "अनौपचारिक" अवधारणा को औपचारिक बनाने का प्रयास करती है।[1]

इंस्टीट्यूशन का उपयोग विनिर्देशन लैंग्वेज (जैसे विशिष्टताओं की संरचना, मानकीकरण, कार्यान्वयन, शोधन और विकास), प्रमाण कैल्कुली, और यहां तक ​​​​कि अंतर्निहित लॉजिकल सिस्टम से पूरी तरह से स्वतंत्र उपकरणों की अवधारणाओं को विकसित करना संभव बनाता है। ऐसी आकृतियाँ भी हैं जो लॉजिकल सिस्टम को जोड़ने और अनुवाद करने की अनुमति देती हैं। इसके महत्वपूर्ण अनुप्रयोग हैं इसके महत्वपूर्ण अनुप्रयोग लॉजिकल संरचना (जिसे उधार भी कहा जाता है) और विषम विनिर्देश और लॉजिक का संयोजन का पुन: उपयोग है।

संस्थागत मॉडल सिद्धांत के प्रसार ने मॉडल सिद्धांत की विभिन्न धारणाओं और परिणामों को सामान्यीकृत किया है, और इंस्टीट्यूशन ने स्वयं यूनीवर्सल लॉजिक की प्रगति को प्रभावित किया है।[2][3]

परिभाषा

इंस्टीट्यूशन का सिद्धांत लॉजिकल सिस्टम की प्रकृति के बारे में कुछ भी नहीं मानता है। अर्थात्, व्याख्या (लॉजिक) और वाक्य (गणितीय लॉजिक) अनैतिक वस्तुएं हो सकती हैं; एकमात्र धारणा यह है कि मॉडल और वाक्यों के मध्य संतुष्टि संबंध है, जो बताता है कि कोई वाक्य मॉडल में फिट बैठता है या नहीं। संतुष्टि टी-स्कीमा या टार्स्की की सत्य परिभाषा से प्रेरित है, किन्तु वास्तव में यह कोई भी बायनरी संबंध हो सकता है।

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

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

मन लीजिए लघु श्रेणियों की श्रेणी के विपरीत श्रेणी को निरूपित करें। इंस्टिट्यूशन औपचारिक रूप से सम्मिलित होती है

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

इस प्रकार कि में प्रत्येक के लिए, निम्नलिखित संतुष्टि नियम प्रयुक्त होता है:

प्रत्येक और के लिए

संतुष्टि की स्थिति यह व्यक्त करती है कि संकेतन के परिवर्तन के अनुसार सत्य अपरिवर्तनीय है (और संदर्भ के विस्तार या उद्धरण के अनुसार भी)।

सख्ती से कहें तो मॉडल फ़ैक्टर सभी बड़ी श्रेणियों की "श्रेणी" में समाप्त होता है।

इंस्टीट्यूशन के उदाहरण

यह भी देखें

संदर्भ

  1. J. A. Goguen; R. M. Burstall (1992), "Institutions: Abstract model theory for specification and programming", Journal of the ACM, 39 (1): 95–146, doi:10.1145/147508.147524, S2CID 16856895
  2. Razvan Diaconescu (2012), "Three decades of institution theory", in Jean-Yves Béziau (ed.), Universal Logic: An Anthology, Springer, pp. 309–322
  3. T. Mossakowski; J. A. Goguen; R. Diaconescu; A. Tarlecki (2007), "What is a logic?: In memoriam Joseph Goguen", in Jean-Yves Beziau (ed.), Logica Universalis: Towards a General Theory of Logic (2nd ed.), Birkhäuser, Basel, pp. 113–133, doi:10.1007/978-3-7643-8354-1_7


अग्रिम पठन

  • J. A. Goguen; R. M. Burstall (1984), "Introducing institutions", in E. Clarke; D. Kozen (eds.), Logics of Programs: Proceedings of the Logics of Programming Workshop 1983, Lecture Notes in Computer Science, vol. 164, Springer, Berlin, Germany, pp. 221–256, doi:10.1007/3-540-12896-4_366, ISBN 978-3-540-12896-0. This was the first publication on institution theory and the preliminary version of Goguen and Burstall (1992).
  • J. Meseguer (1989), "General logics", in H.-D. Ebbinghaus; J. Fernandez-Prida; M. Garrido; D. Lascar; M. Rodriquez Artalejo (eds.), Logic Colloquium '87: Proceedings of the Colloquium held in Granada, Spain, vol. 129, Elservier, pp. 274–307
  • J. A. Goguen; G. Rosu (2002), "Institution morphisms", Formal Aspects of Computing, 13 (3–5): 274–307, doi:10.1007/s001650200013, S2CID 5687318
  • D. Sannella; A. Tarlecki (1988), "Specifications in an arbitrary institution", Information and Computation, 76 (2–3): 165–210, doi:10.1016/0890-5401(88)90008-9
  • R. Diaconescu (2008), Institution-independent Model Theory, Birkhäuser, Basel


बाहरी संबंध