{"entities":{"Q792325":{"pageid":794173,"ns":120,"title":"Item:Q792325","lastrevid":64374048,"modified":"2026-04-11T19:25:44Z","type":"item","id":"Q792325","labels":{"en":{"language":"en","value":"Logical matrices and non-structural consequence operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853075"}},"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":"Q792325$CFD219AD-A0EC-43DB-B205-ECEC78701220","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1bf401d5db17de41d36c51de3836fb693308c7","datavalue":{"value":{"text":"Logical matrices and non-structural consequence operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792325$879815FD-9879-45B1-9D76-75940149091D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da90985edf8946d436bc0728a4f5321bfc88af1f","datavalue":{"value":"0537.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$F91DD22D-42E9-45FD-9F76-E5985EB582F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27c8953e9145a683420d7b9dbdf88c6642e8129c","datavalue":{"value":"10.1007/BF01418757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$422B7373-A409-42A6-AD8B-4D702B86C22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ccb5ed981b81f8b76cfb9f5de0827751019d355","datavalue":{"value":{"entity-type":"item","numeric-id":581673,"id":"Q581673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$13DFDCFE-9CBE-4860-B527-60A3E2F14FEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$0C933DEC-A583-47E1-A8D2-ABB473BF2A23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792325$CCB5DABA-C7F4-466B-8CD0-873C9BCD33BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53b0235720418df99a1eb9b8139c0e4dc36f210e","datavalue":{"value":"Matrices certainly are a powerful instrument in the study of sentential calculi. The matrix approach can be extended to non-structural consequence operators by a more general definition of logical matrices, which was given by the author in an earlier work [Boll. Unione Mat. Ital., V. Ser., A 15, 66-76 (1978; Zbl 0385.03057)]. Given any algebra A and a consequence operator K on A, such that \\(\\sigma K\\subset K\\sigma,\\) for every \\(\\sigma\\) belonging to \\({\\mathcal E}\\), a subset of End(A), a generalized matrix for them is a triplet \\(<W,D,{\\mathcal I}>\\), where W is an algebra similar to A, D is a subset of W and \\({\\mathcal I}\\) is a subset of Hom(A,W) such that \\({\\mathcal I}{\\mathcal E}\\subset {\\mathcal I}\\). Many classical results are extended to such generalized matrices and a theorem is given to characterize the lattice of non-structural consequence operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792325$0B684D55-D590-4BD6-9D22-5B5D113EBB3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$6B14F322-6A80-4891-BBBD-6971CE14D804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$AF450015-5FAC-418D-B0C6-922A5343B3B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2faef6680c32cc7a4b289fadc25b0469d05f178","datavalue":{"value":"3853075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$B6C6E8A8-232B-45F5-8AA3-2D3051B01470","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921f8e7300bf7792752dfe144dc11b5d8a0f3bab","datavalue":{"value":"sentential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q792325$10364FA5-4576-4950-A5B2-6A9C035EE3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q792325$1FCA1DAA-5E21-48D0-B2F4-BCBC6FA09BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15230fd470a69545eb57b3db3c429d203171f420","datavalue":{"value":"generalized matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q792325$6DAE7418-5A8B-48D1-9F3B-1EE0DC18EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d203375a920c824f24e6aea9fa1c739ffff820","datavalue":{"value":"lattice of non- structural consequence operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q792325$C6383DF8-3B20-418A-B716-99F707402CC9","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":"Q792325$E72684FE-18A5-48FF-AA45-AA95F159BEEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$9D6D980D-6397-43CC-862F-072C60D96F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c87516ffc0cbd864d353f09859cab70c868706b","datavalue":{"value":{"entity-type":"item","numeric-id":4165384,"id":"Q4165384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$38226ED2-5C81-475F-9279-C04E3D9727A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28785e02175061b0427d75dca96337aa7d528e6","datavalue":{"value":{"entity-type":"item","numeric-id":3866112,"id":"Q3866112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$1A658D6E-E262-4EBE-AB4D-E536A2550F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$CF097C4B-F127-4EEE-9F9C-74F220B0FD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$8F79BCF3-9518-4AB2-98CE-D6B16891510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$64C53967-5470-4661-B9A7-59E47B1ED703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b422dd948f7aa62f3ffe928fc88304ba8432f4","datavalue":{"value":{"entity-type":"item","numeric-id":4099604,"id":"Q4099604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792325$BC62E764-B709-43D2-8635-2DF157DE036D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b282e8741d9f399f5dc01f35aec0420e6965f9d","datavalue":{"value":"https://doi.org/10.1007/bf01418757","type":"string"},"datatype":"url"},"type":"statement","id":"Q792325$483204E4-D0F1-4ACA-B781-BA39A983FEDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"586940b9a369b58a38b7a1c610b16c25acda5d55","datavalue":{"value":"W2035510616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792325$99DF7DA6-40ED-427B-A212-A42D1DA0B571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8201cdfdbb8df21e63f395fa749b8f22e16b459","datavalue":{"value":{"entity-type":"item","numeric-id":5187262,"id":"Q5187262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad618402d6558a091232c365e99dcbcdb756346","datavalue":{"value":{"amount":"+0.7939112186431885","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":"Q792325$6F37F8FD-6CFF-4D13-BB34-FA290B499587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03a9bedfc9e2f37280f46554c958d7df180ab65","datavalue":{"value":{"entity-type":"item","numeric-id":4463929,"id":"Q4463929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7caa944a9d77d7c822cca4f6b6e3987e82c6f8c5","datavalue":{"value":{"amount":"+0.7807225584983826","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":"Q792325$A388E261-5C6D-47E0-AE77-4930D196166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df641b24ba1a69d1f466d683746f76c6964513e4","datavalue":{"value":{"entity-type":"item","numeric-id":3340838,"id":"Q3340838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53085da7a18f6b8ff9996f20c7aee7a719bb295","datavalue":{"value":{"amount":"+0.7777483463287354","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":"Q792325$F9313C2B-D907-40EF-A11E-D02D6EE59576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c370d0bb498e11e8aec195755cfc2b9f150cfcb2","datavalue":{"value":{"entity-type":"item","numeric-id":3347857,"id":"Q3347857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4398e6d56417563c33a806471313a4f653a454f","datavalue":{"value":{"amount":"+0.7651128172874451","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":"Q792325$14FA3209-2FF8-4788-A82B-8881BF5881C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052cee0778262a36500115ee5837331a157194d3","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60babab625b7d07cd75225de8e857882b10d8acd","datavalue":{"value":{"amount":"+0.7607079148292542","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":"Q792325$53255133-D26B-451B-9370-1AE5100519B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical matrices and non-structural consequence operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_matrices_and_non-structural_consequence_operators"}}}}}