{"entities":{"Q918536":{"pageid":920384,"ns":120,"title":"Item:Q918536","lastrevid":65341359,"modified":"2026-04-12T01:54:51Z","type":"item","id":"Q918536","labels":{"en":{"language":"en","value":"On axiomatization of many-valued logics associated with formalization of plausible reasonings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158603"}},"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":"Q918536$5719E600-B1F0-469D-9C01-DC5CA4A4C7A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d711cc0ed10e885ef5ed4281cb79acbab14fa8cc","datavalue":{"value":{"text":"On axiomatization of many-valued logics associated with formalization of plausible reasonings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918536$DB91E417-3F2B-443A-B666-9CC2E06FF64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a8391b6817aed527acbee1d3d44a37830376bf4","datavalue":{"value":"0706.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$BC9D45CE-D8A1-426E-B06E-FA41FEE1E769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f8789694cd3919f95eccb4a14ad68997b5bf7a6","datavalue":{"value":"10.1007/BF00370198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$ACBA2DE7-3165-4971-A000-742CCA5F5EC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88c19ed2234dfdf931a5f08b23e7425dfab63d36","datavalue":{"value":{"entity-type":"item","numeric-id":918535,"id":"Q918535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$E23AB8C8-A93B-43E5-A469-ABCF8562B19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48ed9663fee91e0fd7a924de11ac4440eaed1b20","datavalue":{"value":{"entity-type":"item","numeric-id":1212925,"id":"Q1212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$F227DDA6-5D74-4BCD-A71E-9ED48DA07A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$18F2D15B-7BFC-4C42-B45C-111B055D0E24","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":"Q918536$84CC337F-ACF1-425B-B46F-D7F1B630449D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q918536$1BC4B54E-4C9E-4CE4-9F7C-1142605D8BF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d98cb80c6a45e239af64d3d07bd51b23fd9efa9","datavalue":{"value":"This paper presents sufficient conditions for the axiomatizability of a class of infinite-valued logics with an arbitrary finite number of types of truth-value. These logics are many-sorted predicate logics with quantifiers over finite sequences of variable length; they are meant to formalize systems of plausible reasoning of, for example, Mill's inductive methods. The logics are defined semantically. To axiomatize them is to construct an axiomatic system which is consistent and complete with respect to their semantic definition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q918536$3EFD4289-2299-4016-BA16-E0D06CCAFC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$A2D6F1DD-76B2-4513-9A14-C273ABEC62F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25619b3c32dcc04376914ca037dd4b241be63b0","datavalue":{"value":"4158603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$1B7A9B3C-31DC-4A7C-9308-2FE39E411E45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45dfa752f52402497c2d4a04867ef2951b5467f6","datavalue":{"value":"axiomatizability of a class of infinite-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q918536$136CB148-4AF8-4D16-9795-842FE6C18EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90720d0f0b8b0c91cbb8f9d2bb6438e193eb2bc3","datavalue":{"value":"many-sorted predicate logics with quantifiers over finite sequences of variable length","type":"string"},"datatype":"string"},"type":"statement","id":"Q918536$0AA5ADB8-B347-4F45-9E60-4932A24D83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682ff3593dea9e81545653d0e5f5593b7745b8cc","datavalue":{"value":"plausible reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q918536$5BB1655D-29F5-4E5E-A64E-D1F7B2DF3D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89069caccfc4d062b2f7c87db46a3a6722689485","datavalue":{"value":"Mill's inductive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q918536$205F85FA-BDF5-4472-8C9F-1214C5E910B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"445e9ef33ed8b19a503c62873ae444a8bc579d40","datavalue":{"value":"Q63762584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$CD8BBA76-530C-4C8D-9DA7-6FCF993C6141","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":"Q918536$F0CA01C2-3EE6-418F-8134-95CAA6F200DB","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":"Q918536$E3CC54DA-DB9A-4ADB-A67B-0D2F60660A51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274613f36cb33f593ca1b038beefc7b0754344b","datavalue":{"value":{"entity-type":"item","numeric-id":3966109,"id":"Q3966109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$30B8F6FB-D2FD-4EC4-9BD0-FFAD98467C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fc318b70944c715a2abc27b5b625a164ad9e23","datavalue":{"value":{"entity-type":"item","numeric-id":3782857,"id":"Q3782857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$03871235-5626-435C-ADD3-85DD5BC42C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff242da54ebd9c941b33573ddea3928edea3f26","datavalue":{"value":{"entity-type":"item","numeric-id":4750637,"id":"Q4750637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918536$EAE1F2CC-F7B6-42F9-9B71-509FEE0068E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1d632b4a087a5605d9212c2fbeb357bd5675f89","datavalue":{"value":"https://doi.org/10.1007/bf00370198","type":"string"},"datatype":"url"},"type":"statement","id":"Q918536$9E9EB4CB-7377-468E-A712-94791A260C9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d007fa3a67d7eda4888bd69da6758b13bab7ca3","datavalue":{"value":"W2018401144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918536$729FC0DD-D8F2-4920-AC7E-EDCDA41C6655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2de0b5afe8aa07d78d4ec7d88786e34c2fd2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5187261,"id":"Q5187261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0cf39dc41b3b3786e47fa4f25380a4f12b337d","datavalue":{"value":{"amount":"+0.786054253578186","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":"Q918536$4AE2F9ED-362E-4C4A-AF3A-3C6F4A85B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ef0fb1e8dd303bca3e71d254db476ddf787bff","datavalue":{"value":{"entity-type":"item","numeric-id":4822151,"id":"Q4822151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6b01aab9c5ac3251c3312360a70a0884313952","datavalue":{"value":{"amount":"+0.7671008706092834","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":"Q918536$DADD8B0F-5EAF-42F3-841D-0E7C7E48CE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9baed398f3217cba9098a2f2e3e2972be05254d3","datavalue":{"value":{"entity-type":"item","numeric-id":3676121,"id":"Q3676121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f751201bbd3091272006f88e77629e31e2f8820","datavalue":{"value":{"amount":"+0.7601318359375","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":"Q918536$2EFCFE08-C9AE-4A57-B3B2-4273990D2860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebb115d520755c6dab3be2f948c7895bf8380ea","datavalue":{"value":{"entity-type":"item","numeric-id":3344181,"id":"Q3344181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e618dc8f7d75ee3f395e2ebab0c878fb87efe9a0","datavalue":{"value":{"amount":"+0.7593772411346436","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":"Q918536$B337F964-F83F-46C0-9AE4-512F0F49B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a642c7c0ee6bdd5c370fbaa7b1546f0dab32fa14","datavalue":{"value":{"amount":"+0.7549995183944702","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":"Q918536$45C6839F-5451-41DF-B6E5-0D91D0483B05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On axiomatization of many-valued logics associated with formalization of plausible reasonings","badges":[]}}}}}