{"entities":{"Q1697516":{"pageid":1708257,"ns":120,"title":"Item:Q1697516","lastrevid":68209881,"modified":"2026-04-12T22:09:43Z","type":"item","id":"Q1697516","labels":{"en":{"language":"en","value":"Monadic BL-algebras: the equivalent algebraic semantics of H\u00e1jek's monadic fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841036"}},"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":"Q1697516$7B3E6F1A-34D8-4C37-B603-FC73766C6499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd85e2cf8746c8c9832963d47f1590f40a7bdfc3","datavalue":{"value":{"text":"Monadic BL-algebras: the equivalent algebraic semantics of H\u00e1jek's monadic fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697516$6887D8B7-AE1C-410D-A820-4FD8D8308A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59e79f77bf467be8511dc62d33009731863dcc38","datavalue":{"value":"1387.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$FE75175B-20CD-414C-8568-0FE6CC219EF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c4464f6c45a39b0731a4675b2e292d7fb95bb2","datavalue":{"value":{"entity-type":"item","numeric-id":616115,"id":"Q616115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$94C4E9E1-F742-49E2-8526-3879DAE08A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$5D352633-23D7-4514-8088-29B61E81AB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c85a1197bc565fe86c46c6c1ea10da5fa2e464","datavalue":{"value":{"entity-type":"item","numeric-id":186058,"id":"Q186058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$6F83397E-BD8A-44A6-9EC3-7096E0668E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf5b7942641cbb3e535b691dd0a85d2bd293361b","datavalue":{"value":{"entity-type":"item","numeric-id":1040205,"id":"Q1040205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$A9B2BFCE-307F-4986-89B3-CC110AFD3D6B","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":"Q1697516$A16DE747-E7FA-4B20-9AAA-0B7B30D8C570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89e9697ececd3e3495e15862459be636d773c40","datavalue":{"value":{"time":"+2018-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1697516$60E67FF2-45EB-4BA8-B679-3EEBCF572D7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6914ce4dfeb1096abe6e4362e204aaf29dea3d8","datavalue":{"value":"https://arxiv.org/abs/1609.05082","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697516$CEB5A2D9-6242-4088-96C7-CEEC6AD78EEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f2da739289e03a9e8f5be15b2457aea92c1cb93","datavalue":{"value":"The authors introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators \\(\\forall\\) and \\(\\exists\\). After a study of the basic properties of this variety, they show that this class is the equivalent algebraic semantics of the monadic fragment of H\u00e1jek's basic predicate logic. In addition, they start a systematic study of the main subvarieties of monadic BL-algebras, some of which constitute the algebraic semantics of well-known monadic logics: monadic G\u00f6del logic and monadic \u0141ukasiewicz logic. Finally, a complete characterization of totally ordered monadic BL-algebras is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697516$4C059C41-4635-43E9-BBE6-7EA252A0E37F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$984D8AF0-1B77-4DA4-87FF-03332612D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$0F74A9D8-6C55-4C29-868B-2CE8B8A6FB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$A4023376-AB72-4C95-9434-F0AA05411D2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c94e1f55fc44fd524083d0f2604f56d215efd13","datavalue":{"value":"6841036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$367B7FAD-F850-4B9B-B272-66D893B8ED70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697516$E2CE7BA2-CB0E-46B0-9816-CE913A243757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697516$A813754F-6C1D-482B-9F16-B8B9074B3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697516$CA342247-153D-4776-835D-07E3D3DD8266","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$67931AB2-FD64-4276-9BFD-118FB8B46C24","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":"Q1697516$B2FA752E-FB66-4DB2-8853-23EAE249CBB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fb462707fa86b164ce4a705b852ffb1895500ae","datavalue":{"value":"W2962873294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$4C7E59D5-D1C0-42CC-A5D7-C17EF82E3E4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a29a9e186512c133551e7d4ea84e1781661135","datavalue":{"value":{"entity-type":"item","numeric-id":616116,"id":"Q616116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$3EC67E9E-7EAF-4682-A801-87212E34D419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$878BF3FF-6C2E-4491-9E9D-E432F86AE398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965174599a53e2b61c0063adfa7c7b766b1ba670","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$DA3AE2D2-09E1-4A2F-8644-AE8FC18C8482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$5095A48B-9810-408B-AE76-8983C8266CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$6854D668-003C-4164-8521-0F6FED345C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adff6b5f715b23b4c0e00712da1d3d0508770c22","datavalue":{"value":{"entity-type":"item","numeric-id":2577708,"id":"Q2577708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$FBD94912-19E0-4BCA-891C-BF0E259EEBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1cd3145269879cc8b653e6eb31f6bfdfb2cb75","datavalue":{"value":{"entity-type":"item","numeric-id":5406036,"id":"Q5406036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$45F93F4B-A968-4756-A78C-2452D9981F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$FEE54828-2AD7-4336-B450-30F102AD37DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ca26bb0587efc7251e715bc4add742073ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":816859,"id":"Q816859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$E536FCE7-22CC-4C2C-93C4-59485E4DF8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724ac9615808348fbeb38756b101fc6ae90f70b5","datavalue":{"value":{"entity-type":"item","numeric-id":2449451,"id":"Q2449451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$355DAEAC-3053-4EF7-8B27-126EE4F20EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eedade48465f602f655009f56f2542441c8b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1877093,"id":"Q1877093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$7D53481B-E39C-4E9F-A8EA-90E3A3DC1B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1ee2b52e0d9560d290f04497cdc2e7a4df585","datavalue":{"value":{"entity-type":"item","numeric-id":3145296,"id":"Q3145296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$943DBF51-F345-4889-BE82-A112B28DB422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0015e3b098b8d07e3bf6a8eec7ff6240df59bc14","datavalue":{"value":{"entity-type":"item","numeric-id":5389291,"id":"Q5389291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$800557A4-8945-481E-9D46-4D0CEB4AFB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb179398ccd929add8d7a5cd1b94d319d5e060e","datavalue":{"value":{"entity-type":"item","numeric-id":3594327,"id":"Q3594327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$70CB3406-49BF-441F-A66C-825DC403C477","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":"Q1697516$1AA379AC-A39C-4062-ABCD-6B92E37DD138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2427a77d18b3ddcac2275dacf96229ebfa1ecc55","datavalue":{"value":{"entity-type":"item","numeric-id":622028,"id":"Q622028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$0FBC90AB-4FB6-4C92-934D-7BE5BEC8C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$16422B19-FA35-40E8-9B57-8C74EAC5C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$AB6EE969-16E5-4967-AAED-461D1EDBFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ca1c32b99f33b85e01cf09a8fb163c05138361","datavalue":{"value":{"entity-type":"item","numeric-id":5935999,"id":"Q5935999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697516$0D39151B-9EBA-4535-BEE4-82AE5EDE983A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df0e2d9a655f6e17543674eac2678e28eef42db2","datavalue":{"value":"10.1016/J.FSS.2016.12.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697516$2974FDB0-24D6-4A0D-BD00-81EE9087FB29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdf7b59df839d48dba4b3007d1d183e80a20bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3145296,"id":"Q3145296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f387d8b7fc5f4d6c34dbb2b92b5340a531e494","datavalue":{"value":{"amount":"+0.8466890454292297","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":"Q1697516$5802DEDA-7C3F-4904-BB43-504FEF10EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f657b6e35a9fcb5f3d0266f26b81766df09aa6","datavalue":{"value":{"entity-type":"item","numeric-id":943381,"id":"Q943381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a40a37b929f54195531703415bfad42a2d6b4d","datavalue":{"value":{"amount":"+0.8293580412864685","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":"Q1697516$45D6869F-322A-4739-B4B8-E962D7D0CA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f73183dbfedad956c7ee41644a902647eb1a507","datavalue":{"value":{"entity-type":"item","numeric-id":5865559,"id":"Q5865559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62073cca1aecfe9ffded8b6e45884382390cbb0f","datavalue":{"value":{"amount":"+0.8248839974403381","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":"Q1697516$772FD6F1-D5B9-4F45-89FF-FD80714680A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe09a5b8703ddf09649f20e092d1f62777eebdf","datavalue":{"value":{"entity-type":"item","numeric-id":1999121,"id":"Q1999121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95397e855978194434eaba3974ca82575b012bbb","datavalue":{"value":{"amount":"+0.8226956725120544","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":"Q1697516$F3703813-A026-4253-ADAE-E1E49BFAD299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f913a14a109f48066f07197a756dbadb0aaccbd","datavalue":{"value":{"entity-type":"item","numeric-id":1943692,"id":"Q1943692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbfd6046d693428f6900860ec07697a153a780d","datavalue":{"value":{"amount":"+0.8088707327842712","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":"Q1697516$98E758D7-BE66-48CF-936F-79A92EF805D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic BL-algebras: the equivalent algebraic semantics of H\u00e1jek's monadic fuzzy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monadic_BL-algebras:_the_equivalent_algebraic_semantics_of_H%C3%A1jek%27s_monadic_fuzzy_logic"}}}}}