{"entities":{"Q1935862":{"pageid":1946604,"ns":120,"title":"Item:Q1935862","lastrevid":51654317,"modified":"2026-01-19T07:00:07Z","type":"item","id":"Q1935862","labels":{"en":{"language":"en","value":"Duality, projectivity, and unification in \u0141ukasiewicz logic and MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137396"}},"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":"Q1935862$A09F3166-D02D-48C3-8ED0-A5EFE06A80AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b947144332b6db13f9ac5848136abb39271f1e","datavalue":{"value":{"text":"Duality, projectivity, and unification in \u0141ukasiewicz logic and MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935862$7B00FF9E-8E5D-4880-BB6E-ED5194B705BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b2c0f0694a8224fc2b4756be24a487b2b04455","datavalue":{"value":"1275.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$0EFAF545-A204-43D5-BC0D-4E9A055E0D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935862$4F9505B3-EE93-49F3-854A-5AAB25FB84C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc3bc455be4d7a265c7bd40eaa94127306c8719","datavalue":{"value":{"entity-type":"item","numeric-id":454390,"id":"Q454390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935862$C3226FD0-64EA-4A93-A168-0FA8EA57A889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935862$CA1EDA2A-B981-4CA8-AE5E-FBE652B0EBEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935862$7394AFF8-8E62-49FC-8C90-DBDFF9ADB684","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3952e8790b2f8097116bc737bc47d607a52ba9f","datavalue":{"value":"Introduced by Herbrand in 1930, the classical unification problem in logic is the following: given two terms \\(s\\), \\(t\\) built from function symbols and variables, find a uniform replacement, called \\textit{unifier}, of the variables occuring in \\textit{s} and \\textit{t} by other terms that make \\textit{s} and \\textit{t} identical and, more generally, E-unification problem if the identity is replaced by equality modulo a given equational theory E. Most fundamental is the issue of unification type of E, which can be \\textit{unitary}, \\textit{finitary}, \\textit{infinitary} or none of them, then called \\textit{nullary}. In this paper the E-unification type of \u0141ukasiewicz infinite-valued propositional logic and the corresponding variety of MV-algebras is proved to be nullary, MV-algebras being the algebraic counterpart of \u0141ukasiewicz logic in the same sense as Boolean algebras are for classical logic. The proof is based on a recent result on projective MV-algebras (by Cabrer and Mundici), the categorical duality between finitely presented MV-algebras and rational polyhedra and, finally, lifts of continuous maps to the universal covering space of the unit circle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$18F6ECA0-74AF-40B7-B5AD-EBB9F75F0C30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"924b7cbfee39eddb03290ea029e193c3f4dff42f","datavalue":{"value":{"entity-type":"item","numeric-id":218965,"id":"Q218965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935862$AB0C63E7-326E-4A01-B2F8-83DDF13270CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$77824787-1E0B-41F1-B0D2-10F0ED89F8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$8708DF5C-8B8F-4383-BFB9-C9B0C1D31347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd71fac0c6a014e4f0dc5688e4930296ce057db5","datavalue":{"value":"6137396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$67206BB1-EB59-4DDE-AF15-81EF59E8656D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$8FA7125A-A4FD-45B7-85A3-DDE7DD08B587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$33B64389-89FC-4016-A5F5-506FD12FFB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e3ab5d907d54db8c3c65b3f2a8b1a61b01571f","datavalue":{"value":"projective MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$14B5C2B3-6697-4484-843A-0037D87BE33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68e652124fc9073b6656e26a26b08d40f0619455","datavalue":{"value":"rational polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$37AF3FF4-548F-4D8F-BAE3-CED01841428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$BD9C042E-BA3A-4096-A1DC-859993D9FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7509182f5b483fb9f5b6a840848c82364f89f54","datavalue":{"value":"covering space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935862$F0F8F92C-7A99-4882-B9C9-8DFDCDDF272E","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":"Q1935862$D8068A95-F976-4C0F-BFD0-0FC19E8E37E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec183073d88ae3988a1cc473a45bb3757f5ce6e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935862$65E91BFA-ECC1-4416-93CE-D216D53802AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b0df8e1c311b9e8759a020f17b26143147a02c2","datavalue":{"value":"W1981448743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$8EEFC3B1-E9F2-4290-96AA-D4FBE28C88EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4d5894d8748ef0c93421b40d1b27c4ffd3c43e1","datavalue":{"value":"10.1016/J.APAL.2012.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935862$115E5AF9-4999-42FA-8D5C-0673C94BEFDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9eeaef59fef824a1cc67c10e673d755df4765","datavalue":{"value":{"entity-type":"item","numeric-id":6485187,"id":"Q6485187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff38d74fed9d2163e34b8f8e9d989c9c95143766","datavalue":{"value":{"amount":"+0.8665586113929749","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":"Q1935862$8DCB0070-078A-4B37-ACA8-9EA1695C80B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fc5e2e6bc38c9985e7f514d3dbc3ae1519fcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5146272,"id":"Q5146272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42e1be19ff15450dde85b450798cf094bd47025","datavalue":{"value":{"amount":"+0.8501951098442078","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":"Q1935862$4AC7489A-95B7-4CE2-B0D6-C68AC1EE4AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c639e7e820b9fcad4c4252bd4e16b96b0c0ddff3","datavalue":{"value":{"entity-type":"item","numeric-id":5929367,"id":"Q5929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcfda9ec9c423c50c46876438ae42f5ef2efe95","datavalue":{"value":{"amount":"+0.8065736293792725","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":"Q1935862$6688093E-A92C-4370-A2E4-E4040E049352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ca48c6cbabce1a8747079ffc7f51f9acb422fd","datavalue":{"value":{"entity-type":"item","numeric-id":1703683,"id":"Q1703683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1393e1126ffaaeedb878f9803e1b687dc4ab6ffa","datavalue":{"value":{"amount":"+0.7954489588737488","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":"Q1935862$1986F9AA-80C9-402C-865F-A6BBCE50746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c03e8b3e3c81138aee32965dbcd9025046046","datavalue":{"value":{"entity-type":"item","numeric-id":5177876,"id":"Q5177876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdc49045c5f21ee3e52df5b9e112f7b32aaed8d","datavalue":{"value":{"amount":"+0.7925809621810913","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":"Q1935862$FEFC9031-04B2-459B-B389-13355D95A63A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935862"}}}}}