{"entities":{"Q2254559":{"pageid":2265302,"ns":120,"title":"Item:Q2254559","lastrevid":52192112,"modified":"2026-01-21T03:21:50Z","type":"item","id":"Q2254559","labels":{"en":{"language":"en","value":"Beyond Rasiowan systems: unital deductive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398408"}},"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":"Q2254559$FF5CA664-EBE5-484F-8C9F-F720C17E25DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9381087431b4182bd0325d3deccfa8ba96d52607","datavalue":{"value":{"text":"Beyond Rasiowan systems: unital deductive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254559$CE43B059-AD46-4A66-8885-957C4817A7DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3935a24d7658492081c790b90d8b2aefc01ba0b8","datavalue":{"value":"1345.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$6DC440F0-99A3-4EB0-BEC9-0D3D703D3FDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$6929BB20-FDC6-4EEC-9725-5660EB1533E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254559$97554DFA-9CAB-44F1-AACA-0A3ADA38A6C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c41a0e8e2bdcf0ad48763b06af3a8ac21804abd","datavalue":{"value":"This paper introduces and investigates some classes of deductive systems, called \\textit{unital} and \\textit{weakly implicative} deductive systems, and relates them to well-known classes studied in abstract algebraic logic, such as Fregean or equivalential systems. Given a unital system \\(\\mathcal{S}\\) of type \\(\\mathcal{L}\\) and a theory \\(\\Sigma_{\\mathcal{S}}\\), the quotient \\(\\mathfrak{F}_{\\mathcal{L}}/\\Theta\\left( \\Sigma_{\\mathcal{S}}\\right) \\) of the term algebra \\(\\mathfrak{F}_{\\mathcal{L}}\\) has the property that its element \\(\\Sigma_{\\mathcal{S}}\\) has some of the properties of deductive filters in singular logical matrices. In other words, it is possible to give an algebraic semantics for unital systems that is to some extent independent of the concept of logical matrix and can be given solely in terms of the corresponding algebras. Unfortunately, the paper fails to mention previously published and highly relevant work done by \\textit{P. Cintula} and \\textit{C. Noguera}, e.g. [Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254559$E33F3266-B478-4877-B8A6-F75E7E3C7447","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$49EEAF05-DCFA-4808-AEEB-936BA2E4AF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$02A3B4D9-B47C-4379-8034-85680FDB7E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e61f499017948c0f55c067671da1751899536f8","datavalue":{"value":"6398408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$74AEE7EE-9391-4A05-803B-F02AF333C3B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254559$852F797D-1A65-4777-A527-84EBC555F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254559$325D9BF1-C008-4B23-9F01-2C2722EAC959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd1deb46eb273f1c8d4de15bc43a828d5832ce2","datavalue":{"value":"weakly implicative deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254559$F537EAD8-EAD1-448C-B780-87FF494319A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$26AA81FC-90D4-4C43-942D-E535AC7D8754","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":"Q2254559$364D3558-42C0-4FEE-BCAD-51945D4DBDC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd9960530bd9171d9b40092014bbd1ac363ae2b0","datavalue":{"value":"https://doi.org/10.1007/s11787-014-0096-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254559$44F9BDAA-E555-4EE2-883C-D55C55B3E642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cff2baca30969cf08206f4fe09233c1d32cad84","datavalue":{"value":"W2080825084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$C4729C2B-32D8-47CA-8CEE-74CEED5A45BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$41C257F0-D104-48DF-83AA-2B091DF24351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04049cb9f83c56d46a747283bbeec85e9b4c52ee","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$F6655DC0-E733-484D-9DD6-54F1586E6B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06972d636303dd3c6aac817f327a41a57236b48c","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$CE3A5574-0D72-41D2-A895-C771EE97DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54be5ea7226b346ba7ae62565ca826ef2327181","datavalue":{"value":{"entity-type":"item","numeric-id":1770606,"id":"Q1770606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$B72B9E39-120D-43FF-9BB1-A001274C348D","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":"Q2254559$C2456D83-0AA1-4532-A687-9A8EDF63A66E","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":"Q2254559$B8B05FC6-4BF2-4B40-B1C6-C6B87026ED37","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":"Q2254559$346A0F25-9227-41A6-90D0-A13143D78E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$65D79974-3943-4D5C-AAE4-1E308B927BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c1706c8b0e4321389fee966004f152c0d247fa","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$0454B5EC-9122-44C1-BDBC-3CA08100FD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$75D8113C-BDAE-4D5C-87F8-25DCFD9E2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$CEEE3A15-EB94-4FE3-9A31-07243C4CE9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$82302717-5A7E-44B2-8819-74F55784774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9231624f0c27fb72007c321e3912eded809d4368","datavalue":{"value":{"entity-type":"item","numeric-id":5763298,"id":"Q5763298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$BF5A6913-DAFD-477F-BBF6-FB74C18C6054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62ac8d8976c4aaaa0e70e0187204f603c660604","datavalue":{"value":{"entity-type":"item","numeric-id":2652483,"id":"Q2652483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254559$0A427026-39D3-491C-93C3-DB4AD8720F38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70453f5f0a322dc077dd0f35856de3ee59a45c8e","datavalue":{"value":"10.1007/S11787-014-0096-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254559$52DB520A-5DED-4C73-A1DB-5116A1A1FB8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b98ad2d3b3378e221ac1354d8f5b80072db19ce","datavalue":{"value":{"entity-type":"item","numeric-id":4657008,"id":"Q4657008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217528475cb764a3e6936961a6b84c4bbf2b2358","datavalue":{"value":{"amount":"+0.751326322555542","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":"Q2254559$66951AAD-016C-4C1C-85E4-37586E2D8879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2533d061866f6bdadfc2ebd65d1773036c214f1b","datavalue":{"value":{"entity-type":"item","numeric-id":607435,"id":"Q607435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d0822aea7168396c1ee87e2ec26933926b8ea1","datavalue":{"value":{"amount":"+0.7262276411056519","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":"Q2254559$615AECFF-08A7-4BCD-B73F-8DEE7B1487BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c55871d0a15eeddd6928a7fcedd07dfbc7504f","datavalue":{"value":{"entity-type":"item","numeric-id":3640068,"id":"Q3640068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd122e7fbf70c876cc5385aa276f0545965858dc","datavalue":{"value":{"amount":"+0.721222460269928","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":"Q2254559$AEE2D47E-5584-40B0-9F92-89D04F26C488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8582d8846af799eafff591fa717947821e8d8d77","datavalue":{"value":{"entity-type":"item","numeric-id":1422450,"id":"Q1422450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cccd10ad0c5be36d39b8dc300f85ddb85a2119","datavalue":{"value":{"amount":"+0.7119530439376831","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":"Q2254559$3B7E3B11-A71B-43CA-92AC-BDB996054FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e235861c01ffe98e9bc76be09360d0bff69eab","datavalue":{"value":{"entity-type":"item","numeric-id":2422312,"id":"Q2422312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd44fa10d55425edf5712dcc3a0d93cb5f502ff","datavalue":{"value":{"amount":"+0.7118120789527893","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":"Q2254559$18D939D9-F683-433D-8496-0FB17DCEAE3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254559"}}}}}