{"entities":{"Q622031":{"pageid":623807,"ns":120,"title":"Item:Q622031","lastrevid":51174197,"modified":"2026-01-17T02:04:50Z","type":"item","id":"Q622031","labels":{"en":{"language":"en","value":"Categorical approaches to non-commutative fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5843026"}},"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":"Q622031$12FDF9C6-1BD7-4D58-8AC5-5FF9DF5F4A4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7aadcc2d27721d68511e0edd2fcbc6ab71e7c4","datavalue":{"value":{"text":"Categorical approaches to non-commutative fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622031$D43BCB3E-99ED-404C-AFDC-22D626F448AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56b2204d56224a085c6f817d309fb23ef8972e67","datavalue":{"value":"1211.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$5B219324-1981-47F0-B9D6-4C59F5328F3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e663350e6d27f5c63ea5e4ae57c977f5e167deb","datavalue":{"value":{"entity-type":"item","numeric-id":419042,"id":"Q419042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$CBFFD865-9479-47BD-8A5E-7C67B365F1F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$FD5FF029-9DC7-4506-B00A-D17E1ABE5064","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73b85e9c834dcb39e66362ee0c7ee7d5a2b03696","datavalue":{"value":{"time":"+2011-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622031$F51FEA26-0971-4431-8568-9C0D92536E04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9003706a34f4a7273fc59982f8be204f757aeca1","datavalue":{"value":"https://digitalcommons.iwu.edu/math_scholarship/80","type":"string"},"datatype":"url"},"type":"statement","id":"Q622031$1656F880-964F-4C3F-A731-D89ECAA3C8CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4944eb9adc1d269b4f6764823e5bd995fb0551dc","datavalue":{"value":"By a noncommutative logic we understand a logic with noncommutative conjunction. Such logics are studied here from the categorial point of view. Examples of structures with a noncommutative operation as a possible conjunction are generated so that these structures have suitable properties to serve as truth values for a logic. Inference in the propositional logic is obtained from the categorial properties (products, coproducts, monoidal and closed structures, adjoint functors) of the categories of truth values. It is shown how to extend this view of propositional logic to a predicate logic using categories of propositions about a type \\(A\\) with functors giving change of type and adjoints giving quantifiers. In the case where the semantics is defined in \\textbf{Set}\\((L)\\) (Goguen's category of \\(L\\)-valued fuzzy sets), the categories of predicates about \\(A\\) can be represented as internal category objects with the quantifiers as internal functors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$0F90A95D-288F-4106-B2C2-83123E127764","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36ffbbaac1ab372cec260ae668aacd01234aedd2","datavalue":{"value":{"entity-type":"item","numeric-id":588771,"id":"Q588771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$0ECC1AF1-D72B-4276-8A4F-0EC3CBFC8AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$778FC588-0A49-4270-AFF5-30C195D6BB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$834B1309-217E-41D8-9719-7CF509B3AFF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f22b2c6ccfe5612012e5a3a2885acf1dfb8a9b92","datavalue":{"value":"5843026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$4E804D1F-513D-4D98-877A-5BF69368DD0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$E725F939-6CFD-4D07-8312-3C065E9F1DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$87CE6AC6-9F85-4BD7-97E1-BEE70B61EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$56B1B084-152F-40F1-AC56-EFF217BE956A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7e4b7b91f62d5c3b3238d91c8822a8eebd1c72","datavalue":{"value":"quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$DE60AE3B-DC7B-4A51-8558-9C2119CC547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35632714a10ddc3f1a458522dcc1fa6818e6485","datavalue":{"value":"higher-order fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$8902ED15-5220-45A5-94FE-58E176C12331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b239a4c45a2944ea4a70cff5b1c74629c546e20","datavalue":{"value":"noncommutative conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q622031$02BA87B6-43A4-48E9-860D-1CC6130518D1","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":"Q622031$D057CDD3-DDFD-4F24-815E-856051C4028D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a54edb7d5db3ed040aff6a715671e7221bf39bc3","datavalue":{"value":"W2008151767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$F78772AA-A784-4054-A678-755BD1E5455F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba837f14bc26e3d159eb9fd5d913b2d3d208c52","datavalue":{"value":{"entity-type":"item","numeric-id":2576602,"id":"Q2576602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$511DD808-7E27-477B-9615-ECA843035973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$1135ED20-D3BA-45F4-B27D-6ED8E59398C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dd69b3a7073cd14b621df5fd1eae8fc87c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5953512,"id":"Q5953512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$06214836-8FB0-4593-85F9-4841DB5A1D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e1c6271a09ad6cbace6dbf939a192324911a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3148262,"id":"Q3148262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$351EC7F6-C4B5-45C4-9293-FF83DA83097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$3FC2BD4F-F33D-49FB-BDA3-E4CD487AB404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$F2140540-2F84-493B-83FB-73DA7BE2CD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$21745FD1-9FA7-4829-8022-EDDAFD2A4286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2252e0d4911d8949664bc26fb8c31876ba3f4db8","datavalue":{"value":{"entity-type":"item","numeric-id":4434610,"id":"Q4434610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$0FBF654F-D528-49C3-879D-5A806BC6EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f9209d36ba3aa78b042fe7881f73d08cdd6d0e","datavalue":{"value":{"entity-type":"item","numeric-id":558200,"id":"Q558200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$099A5012-8DD8-472A-9483-E3044EDC1C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100eea2eeff24dd7fe31b8120ce8fbd0ae0f5805","datavalue":{"value":{"entity-type":"item","numeric-id":5692887,"id":"Q5692887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$09D43D56-6027-4B02-A871-38494BA534A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$FAF01B82-A622-4053-AAE1-9F9C0D881C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$BFCFADCC-5180-4E5C-98CA-A23A2FF420F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da1f495e46e1fee50e019d55a205684c1abf3db","datavalue":{"value":{"entity-type":"item","numeric-id":3411965,"id":"Q3411965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$404DCF51-F888-4E73-8F27-35A9B7CF223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$58C548E3-EA1E-4CF8-9976-8F2A0D494146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10007d57a27174da514e148071ec5d327d24921","datavalue":{"value":{"entity-type":"item","numeric-id":4836222,"id":"Q4836222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$AF2329EE-E3EC-4DDE-B01E-CC68A76DF790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$A29831F5-17AC-4B9C-9DDF-313A3109E905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$65EFA1AC-04F1-420F-BEDB-CBCF452DB110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c26f1d5ddb5747be0f361fee52d987f1cc76d8","datavalue":{"value":{"entity-type":"item","numeric-id":969576,"id":"Q969576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$4E3C6BBF-4CB6-4540-9C75-6B61094E1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd5407298bc274f5760ab26c8c57baa87be1d20","datavalue":{"value":{"entity-type":"item","numeric-id":4836223,"id":"Q4836223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$622382D6-05F6-4580-8FB1-D21FF4C02DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b72728ae3ca30130e51841025edfc82a78416a","datavalue":{"value":{"entity-type":"item","numeric-id":2270237,"id":"Q2270237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$7DC04D28-39FF-4B1B-8CA5-487399151091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622031$A3B5E837-330D-405E-8E81-1F48287EE985","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e03102aad2e723f7b6dddf7befca99b70421032","datavalue":{"value":"10.1016/J.FSS.2010.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622031$557977CA-6417-4B81-8006-90EF2FC8159B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dec335ecfcb8dd431dc0d889481346a85eab84c","datavalue":{"value":{"entity-type":"item","numeric-id":2270237,"id":"Q2270237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b306570e943eb35b297426b525a15d43b8c40659","datavalue":{"value":{"amount":"+0.8257995843887329","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":"Q622031$5EA10A3B-C8DE-4634-9174-E4564592F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e5531ca9002882530610bc391a07ba965837c6","datavalue":{"value":{"entity-type":"item","numeric-id":558200,"id":"Q558200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe9fbba8bcae8b7bc1b3fb6b194466ebc1b5661","datavalue":{"value":{"amount":"+0.7623259425163269","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":"Q622031$F1A686BC-1E40-47F7-BD16-EDB8DEDF933C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655bea6e8e45e75e51e16d8ea3baf24acccccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":1187438,"id":"Q1187438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6492d8efee1c8026cd66ce2af2c26b85b14894ca","datavalue":{"value":{"amount":"+0.7581802606582642","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":"Q622031$459DE40F-63B2-4C97-9A25-F42BA22819D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745de0cc9a3ad98020655954d434381cff2ef98d","datavalue":{"value":{"entity-type":"item","numeric-id":4836224,"id":"Q4836224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11732a096631f91479a47a13d4c8641b7902ad91","datavalue":{"value":{"amount":"+0.7546085119247437","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":"Q622031$A84FB509-0DB5-4A18-B481-5BCDCB00BE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4ed612f143337f31529ba4dbacfd3b355ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":3190050,"id":"Q3190050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bb06f1be9f8c984b1bbcd5dabc6607705bbdff","datavalue":{"value":{"amount":"+0.7512661218643188","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":"Q622031$8FBA2C8C-542F-433B-8796-F6AEA0B1376F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:622031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:622031"}}}}}