{"entities":{"Q652517":{"pageid":654366,"ns":120,"title":"Item:Q652517","lastrevid":51384671,"modified":"2026-01-18T00:47:57Z","type":"item","id":"Q652517","labels":{"en":{"language":"en","value":"MacNeille completions of FL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988462"}},"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":"Q652517$D77862C4-3613-4051-A1C4-17C471671955","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"849f496df0206083a7438df3674d8fce1a64868d","datavalue":{"value":{"text":"MacNeille completions of FL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652517$05262A35-C78B-42A4-A2F6-913992CD035C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7af3b5a2c96df974458ee246cb6b978bac243a97","datavalue":{"value":"1259.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$7C67F082-6EE1-469B-B813-C90221263336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$E9332923-EE8C-4340-82B2-8BF4AE862C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$6988DD9E-AB7F-4E09-A1E3-6AB810A11584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$C8DFA9CB-F03F-4ABB-92CD-A06AF3F3ED21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$FCD82552-79BD-49F8-A84A-716559AF6E6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"536c80f3f9e0a556b7a4a2c6c76d788418a82fdd","datavalue":{"value":{"time":"+2011-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q652517$99C5E16C-F7F5-48EC-89F4-3EECEF5652B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37f9cbd8111e27c521b32dd92c603a1e61e042f9","datavalue":{"value":"The authors have been studying the completion problem of FL-algebras as part of algebraic proof theory, which is a research project to explore the connections between order algebra and proof theory. In their previous works, FL-algebraic equations were classified in a hierarchy called substructural, and those of some lowest levels were shown to be preserved by MacNeille completions of FLw-algebras, where some negative aspects in higher levels have also been pointed out. In this paper, they carry on the investigation for those of the next level P3 which include several interesting equations such as prelinearity, weak excluded middle, and so on. The main result is that all P3-equations are preserved by MacNeille completions of subdirectly irreducible FLew-algebras, from which then follows that any subvariety of FLew defined by such equations admits (not necessarily MacNeille) completions. The method, based on proof-theoretic ideas and techniques in substructural logics, is also applied to prove a similar result for FL-algebras in general, using the syntactic condition of acyclicity and modifying the definition of P3 suitably.","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$223225DA-162A-4BE5-8525-920944265634","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$DC6CB9B7-4C2D-4310-AF23-DCC5A0694F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$12AA818E-C2E5-449B-9515-36DA75576B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$C031F1E8-3AE3-4137-B2BD-6F0C5E7393B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$D0867C1F-81BA-4696-9870-0F1592CD910A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$93AB448C-CB8A-42F3-9363-DB6718CB756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$940969CA-7C92-4A7D-9235-9369BE18E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$86CFE431-7956-4AAE-B995-752B85EB93BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$C5C1C91A-4267-44B2-8ED2-2C962864334A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf587799660db7c028acc51653f8b7faad12f97","datavalue":{"value":"5988462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$A720C899-497C-41E3-AA97-00D86A363BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$7275DD37-A225-4F23-B66D-A3AFD475D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$66B976C2-DD13-4117-8084-EEFC2BD58444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6831ff210e267dbd38d03f80dce74d40ec14961","datavalue":{"value":"FL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$0ED3F1D5-D0EF-494E-84EC-580F91DFEC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$543FEA22-7200-4652-893A-31423DCA226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$84FFF2AA-7C11-462E-82C6-AA521951A103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$228DA1C7-CEB2-4E57-A016-D65692088DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4cd1af3e8d9f97f91b2f129112b87db178ab27","datavalue":{"value":"substructural hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$86891F74-77D6-4700-BB49-50347421F4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3986060d76682cc37708f99076365a4697a5e2cf","datavalue":{"value":"algebraic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q652517$08A6EFC3-EB42-4760-978B-57F827A3B1CC","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":"Q652517$1B1E2959-9DBE-4B57-90D3-46900E85AF79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"719b0d322046633b820f26a2ed3aaa89ffb49ea0","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0160-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q652517$5E650581-6D32-4FD1-A4D9-97B3C662EB8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f119d83f93a8bb26ad77bd8e316b5d50a8444e78","datavalue":{"value":"W2047689913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$17AB2E11-84AC-4DC6-8266-49D76B5AB309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$66593AAB-8B72-4716-816B-C9FE2FF04405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46756f04be88ba3178209c818f48fbdf177331b9","datavalue":{"value":{"entity-type":"item","numeric-id":3235412,"id":"Q3235412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$0D7F67AD-6513-48C2-B769-FC392F722A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$D948C237-64E4-408D-8188-F8271D38CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$092AC870-7310-4A45-82AC-8CD7B765CC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b380f76aa9cd5aab3b531e2f5bc4566bb014be","datavalue":{"value":{"entity-type":"item","numeric-id":1826928,"id":"Q1826928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$9848327F-5DAD-4C95-BF05-3567706715DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$EE8BADB2-2C53-4467-96AD-6BC176D058C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$F8805A36-5995-47EB-BF8B-6CDABCDC5725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d25d2720eaf26c2577e0a311e7a1cf270a6961","datavalue":{"value":{"entity-type":"item","numeric-id":3535661,"id":"Q3535661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$C98F4A88-61DE-4A23-A9B2-FEAE8D37301D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a6220475f5b5d37af9a5bce873d7a4a9785ea","datavalue":{"value":{"entity-type":"item","numeric-id":3509209,"id":"Q3509209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$ECD70E4E-D4D9-4A92-91FC-46FAC0D98EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667f50eea40093c03fa11514fe94ca499cc3034c","datavalue":{"value":{"entity-type":"item","numeric-id":998758,"id":"Q998758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$B29DFA56-681C-4DFA-A7EC-B0A20010C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3b8d82bc878a09ecc2c39572bb475f9fe89984","datavalue":{"value":{"entity-type":"item","numeric-id":767570,"id":"Q767570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$E7C5DB9B-4213-44DC-9ACB-2F7D5587BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e527b8caf009e59e2d5d4c5d80427114860575f","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$293BCC52-8E21-47AF-895D-0EC68A45AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652517$2C5C0D9E-8ED7-4E10-A94C-6B585A0BED24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e3519dfd8a9d0d42640dd76a10194815e5ec244","datavalue":{"value":"10.1007/S00012-011-0160-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652517$BEB0E507-5535-4794-A6F8-3C1F5C234746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43dc24f76fc73160d566ab50ee25515396dc332","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61950f4bd11aedcb1f00c54a0580a3aa078ccc2e","datavalue":{"value":{"amount":"+0.8066805601119995","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":"Q652517$EEA1DCB4-7DA4-4D61-B8ED-65C57D829747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d871762fa3c6c70afd3ce42928e5613b0beddf","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96e9cec2fc5d61a9a3ad44ec9260193893a910e","datavalue":{"value":{"amount":"+0.8017610907554626","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":"Q652517$EE920E07-0BB8-4CEE-9C04-6B7E0383BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f9ef32b3bfa80c040aba6c03389bd6c8dc6303","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627565edaa756b8c8e5838ad2015f5c1a5d7e7a8","datavalue":{"value":{"amount":"+0.7911505103111267","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":"Q652517$80C24967-0A38-4933-BC0F-4CFE793682EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf67ec8fc4b768ba52449a987c1a16ceb6e7f2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5293993,"id":"Q5293993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0e4d448c665811622382cfdeb35bc515a45d6c","datavalue":{"value":{"amount":"+0.7833095788955688","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":"Q652517$5B0E33EC-C383-4548-B90D-02EC73C13494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1846d56cacf3ec7627e0ca8920744246be5baf03","datavalue":{"value":{"entity-type":"item","numeric-id":454386,"id":"Q454386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be13bec5f0b00c4e6ed5725a01cf680107ae6c3","datavalue":{"value":{"amount":"+0.7805623412132263","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":"Q652517$3617DC29-F428-401F-BF2A-95211352695C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:652517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:652517"}}}}}