{"entities":{"Q1076008":{"pageid":1086760,"ns":120,"title":"Item:Q1076008","lastrevid":48935536,"modified":"2026-01-06T05:55:31Z","type":"item","id":"Q1076008","labels":{"en":{"language":"en","value":"The rule of procedure Re in \\({\\L}ukasiewicz's\\) many-valued propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952720"}},"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":"Q1076008$FCEA755D-1828-4B1D-BAA3-12F2B7A76903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4f5b3265ff171a571d5568f3e431b15844d121","datavalue":{"value":{"text":"The rule of procedure Re in \\({\\L}ukasiewicz's\\) many-valued propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076008$DCEBBE7D-ED07-478A-86E4-E98D16AAAF1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd08fdae703fd0c36a1d90b205577f440c3bd5d5","datavalue":{"value":"0593.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076008$FE449FC6-00FA-4B18-8356-A893176C9FC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076008$5B6DD297-5725-4D88-AEE2-51F229732A03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076008$5C77760C-56F9-4E59-A0AE-5BA62F0CD6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1076008$39D2E057-B676-4516-924B-A808B0E64BF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98c530e51f4c07fb9af92d195adabb86190e5a56","datavalue":{"value":"In this paper several complete axiomatizations of \\({\\L}ukasiewicz's\\) \\(\\aleph_ 0\\)-valued and m-valued propositional calculuses are defined in which C and N are the only primitive functors and the sole primitive rule of inference is the rule Re, that when P, Q, R are formulas and S is the result of replacing one occurrence of the subformula CPQ in R by Q, if P and R are correct formulas, then S is a correct formula. Modus ponens is a special case of this rule. For the infinite-valued systems independence of axioms is proved by means of matrices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076008$77665152-71A3-487F-9DB3-F117A20178C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076008$0D7DD669-FFAE-40AA-9213-B21D39702EF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93370b48e095027d9878dd2a73f86179f9be19a2","datavalue":{"value":"3952720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076008$79F30D11-5F25-4CCC-9E8A-5C65CE755C26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076008$BBBB1BDB-A0CA-47A6-A946-B237C2E9EBF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076008$4B53D36F-A48A-4EC9-B55C-9F69B3E2B791","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":"Q1076008$CBEE76B8-561E-40EE-B3E5-8F140B664A82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbc20ab5799e38c822d7b18a18d5682986c7b36d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870933","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076008$C29E70FE-AA5F-4A68-B81F-2868F5F145C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23d70180938420b62872090e04d60921c9498dd4","datavalue":{"value":"W2079259656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076008$280EA8BF-D4E1-4FAC-86F9-2FC7424EBFAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77f6e497dc0bf27dc3ca96e0d342f05887d9a410","datavalue":{"value":"10.1305/NDJFL/1093870933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076008$4087CA0B-EA57-4665-BE40-6DD35206BE1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bd4d296c2758bbd8bf294fd1d12874c6130705","datavalue":{"value":{"entity-type":"item","numeric-id":3347858,"id":"Q3347858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b08eb2f1bc88895eef6ec15ee53817504f9dc30","datavalue":{"value":{"amount":"+0.812554657459259","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":"Q1076008$BB4D104C-28D5-43B7-9316-169711E57CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c9d8ed5c8799b2d1445ace8d5470b3b72ff84","datavalue":{"value":{"entity-type":"item","numeric-id":3290718,"id":"Q3290718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2727d1ac4cbcbf21758d5c1439af53b705c459","datavalue":{"value":{"amount":"+0.8099608421325684","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":"Q1076008$3E091A5D-FF0B-4DC1-9CD6-868B48060B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed5d71bf14453c1d1940387ec0ca9633a9d791c","datavalue":{"value":{"entity-type":"item","numeric-id":4339467,"id":"Q4339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c1bbe8b86cc4fbdd2077cbedcc832c227f8563","datavalue":{"value":{"amount":"+0.8043164014816284","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":"Q1076008$99480B53-DA7E-45A2-B95C-729624DCD30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4382064de68c423cd56f9509f3a80806766951a0","datavalue":{"value":{"entity-type":"item","numeric-id":3317086,"id":"Q3317086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f86f3a74a4ac10afa5df8fe185ace9a86f94c83","datavalue":{"value":{"amount":"+0.7893891334533691","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":"Q1076008$25E1C3AC-A798-4DA3-BA69-4E4985525088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492dda121486a33020d468927bf2df090c92c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3701401,"id":"Q3701401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14c0e6a555dfa1da8db09dda37e8e19174c1b9a","datavalue":{"value":{"amount":"+0.7891955971717834","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":"Q1076008$9D88EF50-9DA8-4DE3-8A30-BAC1128D67CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1076008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1076008"}}}}}