{"entities":{"Q816651":{"pageid":818499,"ns":120,"title":"Item:Q816651","lastrevid":64556043,"modified":"2026-04-11T20:41:04Z","type":"item","id":"Q816651","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: \\((\\ell,N)\\)-algebraic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5009042"}},"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":"Q816651$B668F83F-2165-4147-A1D4-105873BAEB62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8496c79e90fa150776c860ab684de7f191d9f14","datavalue":{"value":{"text":"Categorical abstract algebraic logic: \\((\\ell,N)\\)-algebraic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816651$F288313E-9867-46F0-92BF-A34FD73BE483","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c73873dcdbc8e7f8dd06a8076c0aeffa393a49b","datavalue":{"value":"1089.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$5468DDEF-3346-451C-9559-D9F3CE35B4D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$323C87F5-DCC4-456D-93A7-D40101DA5A25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$A9F13B62-749E-494B-8D73-E706BE6243E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd93436a00df2915fd6cfbac68834bf5a3cacbb7","datavalue":{"value":{"time":"+2006-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816651$1FDBA2EF-8EF6-4FF9-BD4B-93754906FB8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73710a6be4aea904d3d85978572721b59197bc63","datavalue":{"value":"This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems / sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \\(\\pi\\)-institutions. The latter arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently of the actual details of the logic involved. In this paper, the author introduces \\(\\mathcal{I}\\)-algebraic systems of a \\(\\pi\\)-institution \\(\\mathcal{I}\\), corresponding to \\(\\mathcal{S}\\)-algebras of a sentential logic \\(\\mathcal{S}\\). Then their relationship with full models and with bilogical morphisms is investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q816651$B33E47C0-465C-4C05-BE20-B8F459ADF469","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":"Q816651$34F6CB53-F791-4A0B-8183-F9F8F5C3AEA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$37675025-E818-476E-98F3-9528BB5C74FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$A7F493E1-242E-49DB-9A83-4C1B5A54B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$88C38451-3D50-4D3B-9230-08D8316063AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$FEB432B2-A35C-4FF5-8F40-A39F9A41B533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85dcc8ae7aafa2e55dda5e806d8ab50dea379175","datavalue":{"value":"5009042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$D507FDFC-502B-4145-985B-02865131F5EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q816651$B3E6136D-F77C-4CD4-9C0F-E0234CE317C2","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":"Q816651$72A6E764-E1F9-479F-8FDA-14F01FF50AF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b86317df56daa2981ee497a93100cf3748834e1","datavalue":{"value":"https://doi.org/10.1007/s10485-005-5797-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q816651$64906F1D-FC71-4FD4-B225-7260ACCBF46D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f060018542ad6464d0c36a47e9b6c92c86de7563","datavalue":{"value":"W2577190837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$5AE2EE3C-2117-4B5E-AA4F-B79DF61E8FE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$DFF1287C-0165-4D64-B60A-2A96C931E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$31944321-B04D-49A5-83ED-E79B8A3B3791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$11B5FF77-A990-4CA1-AA74-9BCFDE26A9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$8621D746-0CFE-47E7-8179-1B04C086915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$42C56A7C-BB0E-475E-BD8A-527AE7ED4CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$F6880C40-0F04-4441-9004-DEAF9D4E7067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a38b2702de5653f6f842316a8e74e7ad3cf7585","datavalue":{"value":{"entity-type":"item","numeric-id":698051,"id":"Q698051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$04447156-1FA6-4F71-ABFF-573A65392DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$A4089380-9631-4176-B3B4-B29A2398DAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe52c95d628037676106287986652872dfa341d6","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$2BDA3764-1D52-4568-9743-5399D1EC5EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$AFB3DA6E-8EA5-4793-BB9E-2BB5E6F10272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$D6D06821-C327-41CD-8BEC-2E070D2A97F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$49F17A4B-6F52-4E7B-B8DD-BDC038766F82","rank":"normal"},{"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":"Q816651$0D76DB66-166D-4F65-8313-EAF73480ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0081debc6e26b034bc3d72e17151c3373cd643","datavalue":{"value":{"entity-type":"item","numeric-id":4889848,"id":"Q4889848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$841C9426-78AE-4214-A954-0878821F364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b327c88d490c22a3cfc37682f78fef2bc42a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2563460,"id":"Q2563460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$A185107A-46CD-4341-B1A2-B82163A8C23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082808784da1f5e2479b9a0895d609eb8e2c6a55","datavalue":{"value":{"entity-type":"item","numeric-id":1357379,"id":"Q1357379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$C998B060-927F-47A0-9CEA-970A616CB427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$F0460995-26C5-4FB0-A01A-4C4E27DEF35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$49D2AF5B-350E-482C-8213-75E4F5513255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31e4d0c15cea2f63278ea66980cb0dd98d0f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$DE782688-C696-466D-8655-2188D5574E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05528eacdadba5e6d5b7b249b33ef8242db2e250","datavalue":{"value":{"entity-type":"item","numeric-id":4657630,"id":"Q4657630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$B70E234F-5C21-4031-B3F8-ABD00E67F5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ccee8121b26c6646dc76eae75110da95ae9860","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$331FAEB4-2855-439C-BE5F-E2339FAE74AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d54c821dd1e2ce10142f0e9b0058199dbf32df","datavalue":{"value":{"entity-type":"item","numeric-id":1778066,"id":"Q1778066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$C049A428-D084-48C9-B34A-84F388B1F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e77a5375cf56ded759187717bd14755081936d7","datavalue":{"value":{"entity-type":"item","numeric-id":355641,"id":"Q355641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816651$7EA664C3-350E-4372-B327-6CE188ED7E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"109c80bc9ec7921ef81bef67a5ee7a3ac42c09ef","datavalue":{"value":"10.1007/S10485-005-5797-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816651$1807E9B3-9F15-4E4D-9E40-C43E66F9FFCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2ebfa477d34b71415ee812eeea180df862539e","datavalue":{"value":{"amount":"+0.920901656150818","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":"Q816651$D5C97359-F303-40D5-A919-63042B29E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6f7eff70ce6474f6e3fd7ac19c92822945eb84","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea08755dee49f97c7e14ca5c83111c67bd5df87","datavalue":{"value":{"amount":"+0.9205105304718018","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":"Q816651$4DAE9FFF-B256-477F-9F3A-D6AF232EA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3108b52140ab9b4f21b6322dde9edb857b99dd86","datavalue":{"value":{"entity-type":"item","numeric-id":2372683,"id":"Q2372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c061399d5bbab9e87b666d9fb7b201f7ebbcb068","datavalue":{"value":{"amount":"+0.9080073833465576","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":"Q816651$F6FFA0E2-7BFF-4EC8-860D-D57C27DCD01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842dce29853d9e4d68e7ca71988b1fb60d417390","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33022104a3b87c7eead38673a9af8df829f153be","datavalue":{"value":{"amount":"+0.8817766308784485","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":"Q816651$A685DD80-6AD2-4DE8-9E8E-734D8653B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ba31d85f4598eed02bb66d3a1bd5a5f3196278","datavalue":{"value":{"entity-type":"item","numeric-id":3632250,"id":"Q3632250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9e85e3e294495f46660303c3e93de04eb14f27","datavalue":{"value":{"amount":"+0.8814061284065247","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":"Q816651$135CBE36-9686-47EC-BC9A-CD41ABA69324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: \\((\\ell,N)\\)-algebraic systems","badges":[]}}}}}