{"entities":{"Q622025":{"pageid":623801,"ns":120,"title":"Item:Q622025","lastrevid":63135198,"modified":"2026-04-11T10:48:56Z","type":"item","id":"Q622025","labels":{"en":{"language":"en","value":"Monadic extensions of institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5843020"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$E5D99030-1722-45DA-85BB-88F025D73DC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b650804dec98e7e9d63d72280df02c5988acdf39","datavalue":{"value":{"text":"Monadic extensions of institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622025$66530FF5-0EAD-4A66-ADBC-C43C7E5C5834","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f9799c63be8c14900abcbd8a6ca79a275ca78ea","datavalue":{"value":"1229.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$231B6337-7F73-47E5-900D-B67C7F7716C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed8cd525f607a306ee866d648424917447edc63","datavalue":{"value":{"entity-type":"item","numeric-id":277346,"id":"Q277346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$EC49D181-2AC0-4DF7-9018-BC70E4BF944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b59a78fdddefcf745ef24ffe4dc28fd21194ebc","datavalue":{"value":{"entity-type":"item","numeric-id":762477,"id":"Q762477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$ECEDD621-3AE6-4701-A648-E6668B537B51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$B247B78B-9515-4892-B94A-9C9DEFB77650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73b85e9c834dcb39e66362ee0c7ee7d5a2b03696","datavalue":{"value":{"time":"+2011-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622025$2FD42B61-65F8-4D5D-810D-E171F8FAF00A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d0bc109b11667f5427cbf7a99b0e705b7b98926","datavalue":{"value":"The theory of institutions was created about three decades ago by Goguen and Burstall as a categorical abstract model theory in order to provide a general uniform model-theoretic framework for developing concepts and result in computing science and logic in a way that is free from the often irrelevant details of concrete logical systems. Such concepts and results would thus be applicable to a wide variety of logical systems.  The central concept of institution theory is that of an institution, which provides a category-theoretic formalization for the notion of logical system that includes syntax, semantics, and the satisfaction relation between them.  This paper refines and deepens the traditional concept of institution towards many-valued logic by replacing the satisfaction relation by an abstract partially ordered monad; entailment systems, which are deductive variants of institutions, are also covered. The work provides only the basic definitions of this extension and illustrates them by examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622025$13E9A21E-4FF2-4016-820F-05A5C4AB20D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$2AAF8171-01AD-4C70-9AF6-BA7507C50418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$B08B7FCB-D0D5-4590-BEBB-4EBE6FD1823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$C0D1B164-8163-4564-A7E3-249BEC221DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$AFF44E89-5B9E-4F07-BDE8-08898EE08B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$D8E7FA23-4E4B-4512-A9F7-1DFD3E5A9A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$1C1D2E08-8AE0-4D40-8F71-526A15A2B714","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf78c10056028f4aec4cf2656bb1852d408a551d","datavalue":{"value":"5843020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$4F9DE676-107F-4726-AC91-28E912545215","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0947e25e1bcc637090ff3737c7351392505b9283","datavalue":{"value":"entailment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q622025$FE34985B-43C5-4B7F-99B5-0E82C30C6592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q622025$721D9A02-9829-4E79-A7DB-90D09140678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622025$9D93C8BB-4020-4853-8777-3DB7791D40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f662668238e07fa59351428d813efab830ab1ad1","datavalue":{"value":"partially ordered monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q622025$8311D10D-3163-4A64-A3BA-A4A60EAD265C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$E04D4692-4CFA-47A7-800E-6A98E93FB218","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61206986faab87bf3beed7ea645fbce6b2297e25","datavalue":{"value":"https://doi.org/10.1016/j.fss.2010.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q622025$14D6F87C-2F99-42A2-918F-B761CF2CC16C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a80c57a0a14c2d455f3eb26c1a6144db250ac9b","datavalue":{"value":"W2061828175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$FF935C90-1776-4FEE-A9DB-7EEB25B7DB35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$97214639-C854-43DE-B664-FD0A48CAE183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$E67506D1-D2C5-4FCF-B8AC-584884B8950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49282c8e465dc8376c54006c46cc1a884bce3b07","datavalue":{"value":{"entity-type":"item","numeric-id":4260389,"id":"Q4260389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$26FE216F-F334-43CD-8CB3-470927E400F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$859562B4-06A1-4B24-A05B-1FABAC1AF853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53c388e4328d8b8b75a185edee4cd856bdabff","datavalue":{"value":{"entity-type":"item","numeric-id":5928637,"id":"Q5928637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$FD94B6DB-325F-45A3-A687-A00B8A1034E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1efaaf421c4ef4d3dccc28149fc196084be36dd","datavalue":{"value":{"entity-type":"item","numeric-id":2732572,"id":"Q2732572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$FD551F39-7439-4BEC-835A-ED126877B506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56df203b978fca2b0c43a4e81236f10597349de0","datavalue":{"value":{"entity-type":"item","numeric-id":5829547,"id":"Q5829547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$2AE6A009-BF5E-4D16-8A4F-95F8FBC64BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de51a8a50a33eeeca5054743382483a8e4e65408","datavalue":{"value":{"entity-type":"item","numeric-id":3209302,"id":"Q3209302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$FE23D940-A229-4678-8C3B-C4F0A8701641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77a220b61199fb849816ba341880b623f5a6a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4010276,"id":"Q4010276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$74CEAFC3-72BC-4380-A010-B6FC99C9B999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$64255C04-956D-42C7-A10A-3A421BBBEB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c584e8634d64f1f85bae6f2366e5eb2f1afcf44c","datavalue":{"value":{"entity-type":"item","numeric-id":2457025,"id":"Q2457025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$2AABB8A5-19F2-4128-8259-B0B745EEB0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$2B8A0891-62FA-446D-9DAE-FB29C66F1F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$39D37B5A-23F8-4264-9650-9427180B1F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63c69c073168a09eccd392de48ee006c9183d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3945204,"id":"Q3945204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$D9BC6880-29EB-4D94-B3A0-C1B69C2E1C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$F29A8F17-B6C6-45BD-A44C-D2126299E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5e05e19c3f0ef523ee837014da87c3d44fe328","datavalue":{"value":{"entity-type":"item","numeric-id":3651510,"id":"Q3651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$03D4CABB-1581-4D0D-A73C-B01D7A33B85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622025$C7C5C31C-F994-4496-9D4A-E01BA0FC8B9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d6b565a8a85c6ad5d345de61a023d6cb0bfc0c9","datavalue":{"value":"10.1016/J.FSS.2010.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622025$01CD93B7-899B-4137-9AEF-C85686D2EFB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a978fd4807a26c43ddfdc3088470f5b00ce913bf","datavalue":{"value":{"entity-type":"item","numeric-id":3600299,"id":"Q3600299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4598a854341121243d22d6160c9640719794dc94","datavalue":{"value":{"amount":"+0.7269290685653687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q622025$7B39A694-C0D9-4AED-8511-7AD136BCA87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee17e5f7ca465018196bb44e31af7395070d270","datavalue":{"value":{"entity-type":"item","numeric-id":993499,"id":"Q993499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67eb1673f95aceedcc498e6bec67eb5f24564e8d","datavalue":{"value":{"amount":"+0.7243652939796448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q622025$D2976DCE-9271-4CD0-8AC0-3FE8F9C4D4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c43f8ac923c29246f2d012e8bdba32de0d70fb","datavalue":{"value":{"entity-type":"item","numeric-id":5492830,"id":"Q5492830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e3948fb9dd062b11d81ddbf4f95692398c7b3f","datavalue":{"value":{"amount":"+0.7158549427986145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q622025$370ABE6D-DB8C-4582-B06E-A61431BB2D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdbce49fede6dce6817588def543800bf84602e","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9bbea86475ff3b2a4d00e9960e60da622a8ba0","datavalue":{"value":{"amount":"+0.7149065732955933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q622025$F057985E-63D2-4E4B-B9F7-A906A20B67AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfafc12445ec02e4ae28f5250d3f44eb1633b2c","datavalue":{"value":{"entity-type":"item","numeric-id":5176546,"id":"Q5176546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9bbea86475ff3b2a4d00e9960e60da622a8ba0","datavalue":{"value":{"amount":"+0.7149065732955933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q622025$29C57C66-3C9C-48F4-BA71-499FD0EF46AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic extensions of institutions","badges":[]}}}}}