{"entities":{"Q2640587":{"pageid":2651330,"ns":120,"title":"Item:Q2640587","lastrevid":49464025,"modified":"2026-01-07T05:09:23Z","type":"item","id":"Q2640587","labels":{"en":{"language":"en","value":"Axiomatization of the De Morgan type rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187768"}},"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":"Q2640587$B83BFA19-F2D8-48BF-BD94-B0304181F285","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e0ade9d2e2b2fdeed33502f0d0acb93f8782c77","datavalue":{"value":{"text":"Axiomatization of the De Morgan type rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640587$A09C6C5C-969B-49CD-B163-AD4A80893E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd22c5234250d0584745d007c4253794fb9ff828","datavalue":{"value":"0721.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640587$02DE8B0D-3D32-46A1-8415-89B9EEA95D17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc5255863996d6d356a47ffda86bb8872cc8aa2f","datavalue":{"value":"10.1007/BF00370368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640587$84B0688D-6079-4846-8ADB-95232B2596F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$0989904D-8D75-4D19-BCC1-C0DF1A29751E","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":"Q2640587$1AD8222C-2ED2-4F1C-84B2-219A3C6FCB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2640587$7F57E98A-3A1F-4551-86B8-C396DB2261C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbf4260a203c8a59f021883e6f63485af37dfc83","datavalue":{"value":"Given a set of propositional connectives L, let \\(| \\sim_ L=\\vDash_{2_ L}\\cap \\vDash^*_{2_ L}\\), where \\(\\vDash_{2_ L}\\) and \\(\\vDash^*_{2_ L}\\) are the consequence relations in the 2-valued propositional logics defined by the logical matrix (\\(\\{\\) 0,1\\(\\}\\),L,\\(\\{\\) \\(1\\}\\)) and its dual (\\(\\{\\) 0,1\\(\\}\\),L,\\(\\{\\) \\(0\\}\\)), respectively. A De Morgan type rule is a rule in \\(\\wedge\\), \\(\\vee\\), \\(\\neg\\) which is valid in \\(| \\sim_{\\{\\wedge,\\vee,\\neg \\}}\\). It is proved that, for \\(L=\\{\\wedge,\\vee,\\neg \\}\\) and \\(L=\\{\\to \\}\\), \\(| \\sim_ L\\) is finitely based in the sense that there is a finite set R of finitary rules in L such that all sequential rules valid in \\(| \\sim_ L\\) are derivable from R. These results essentially rest on special properties of some equational theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$D2BD8A2E-9768-4E41-9DA9-43108C0EDFF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$5CB22D97-BE10-4AED-B035-90A119255DB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640587$5D799BC9-77C2-47DB-83C8-910050A8FB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640587$4C767355-BAA0-4E8C-A08E-BFBB9835EFCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30325f07799aceed6c792368be27c7b72f0e668d","datavalue":{"value":"4187768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640587$DAB88535-92D0-495D-98C9-9BE766E71255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$D858E82B-868D-4A2A-AE2B-B21C1A669251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a6e62e9e7f7d9e06dd4fc5694547dc4ff1ce72","datavalue":{"value":"logical matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$2C50E1EB-0BE6-4231-9B38-7F800D388DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76127b01335b80dc8ce98d07892063016a96c239","datavalue":{"value":"De Morgan type rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$32ED279B-5FE2-40D3-816B-32D52D1CE2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c3be369fac50ea7fd0121b46e177d0e6242440","datavalue":{"value":"finitely based","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$0213F353-7FF8-49F4-B93E-1DD481C34B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec8a1b398fa48e947523c87597af928550d0242","datavalue":{"value":"sequential rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$E0E9B049-7C3F-4ECE-A292-1B2C0EA512FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640587$07509964-8DC6-4D27-A895-4A42EA3D715F","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":"Q2640587$B378AE34-79B7-41D0-B4C7-3E5209BC6C9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$42C9FCF8-E30B-47DA-8032-C15A1AE80869","rank":"normal"},{"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":"Q2640587$6062C7F6-62C1-40C6-A5E0-257F6B6AC940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ec13839ac5f7046fd1ab5aecc8b3e543ecfea4","datavalue":{"value":{"entity-type":"item","numeric-id":3967517,"id":"Q3967517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$E3AC2ED9-4044-4E65-AFF3-B3F9FD4BE527","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":"Q2640587$F5B8EEFB-33B1-4AE9-B495-7FF58A706115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36cb932e6129882ab7f6ec5b81c7375b7ef2812","datavalue":{"value":{"entity-type":"item","numeric-id":3760525,"id":"Q3760525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$C6A1B85C-08AF-4923-BBE5-A2D9FD7F1FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7c87eeb0c78cc6fc13a51c9532a0f19ee5289f","datavalue":{"value":{"entity-type":"item","numeric-id":1263575,"id":"Q1263575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$469F691E-1B89-4B24-88C1-43FAB95020C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833d5f5744bef799182b35c8db68dd1b91d1381c","datavalue":{"value":{"entity-type":"item","numeric-id":3826531,"id":"Q3826531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640587$FAA8A908-E78F-4B6A-863B-C818A828295F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0fe53dcc87c44eacccbfaa3f0be3e78488552c3","datavalue":{"value":{"entity-type":"item","numeric-id":4256061,"id":"Q4256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dc768f997a3adf6fed8f468e093bf9ecee159f","datavalue":{"value":{"amount":"+0.7168089747428894","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":"Q2640587$20AFE9B8-EEF6-4ABE-977B-B9D22D8B3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4832300235d745f9c5edcbe523349c8d2ec70b","datavalue":{"value":{"entity-type":"item","numeric-id":3086715,"id":"Q3086715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dc768f997a3adf6fed8f468e093bf9ecee159f","datavalue":{"value":{"amount":"+0.7168089747428894","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":"Q2640587$FA3F17B4-6B33-4DD1-BB74-029CAD35B155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0d18400f245cb22ba0ace1caa2a4541a3476d7","datavalue":{"value":{"entity-type":"item","numeric-id":918952,"id":"Q918952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f6ca1b0045c37a60bfc8f2b79eb950cc9cb4b4","datavalue":{"value":{"amount":"+0.708365261554718","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":"Q2640587$6A7B96A0-8FFC-4E4B-8B58-EE68A6503471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30eb115571ba9b2cd01132833982d4c176b01405","datavalue":{"value":{"entity-type":"item","numeric-id":5212275,"id":"Q5212275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e197ea33773f42ad186b97ac1a7b98f26c405d47","datavalue":{"value":{"amount":"+0.7048061490058899","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":"Q2640587$ACBDA2BC-CE07-4EA6-9089-74F3FC75C1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e501ddb7d06160e5a87a1f82d8797481f0b75d66","datavalue":{"value":{"entity-type":"item","numeric-id":1653653,"id":"Q1653653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07161e3a3f7d53ee08e1184c79c362e5c8d5f179","datavalue":{"value":{"amount":"+0.7030388712882996","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":"Q2640587$95D53DAD-AD5C-4839-8CB3-053F16487369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640587"}}}}}