{"entities":{"Q1015482":{"pageid":1017330,"ns":120,"title":"Item:Q1015482","lastrevid":50650940,"modified":"2026-01-14T16:49:10Z","type":"item","id":"Q1015482","labels":{"en":{"language":"en","value":"Canonical extensions and relational representations of lattices with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552248"}},"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":"Q1015482$E545702A-63E1-4428-9604-1033306ABCAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99d121c5390a694bdfa111a87b1382dbb9e5d2ee","datavalue":{"value":{"text":"Canonical extensions and relational representations of lattices with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015482$9303B3A4-8B30-4C33-90E2-73B6C76FF0FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96b71536a7e2a339d319b3b5f9355b3e3363a72","datavalue":{"value":"1172.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015482$77BB79E8-67F7-4AFF-9AE0-008CDDA82BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b4f74affa6af8fa346ad148fff7553064034f8e","datavalue":{"value":{"entity-type":"item","numeric-id":1015481,"id":"Q1015481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$3253FD2C-4A8A-42F5-80FF-DC7BBFEDF8DC","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":"Q1015482$8BAA7E70-3DFE-458C-A3B3-5427EE3804A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015482$FA99827E-1852-4935-9D36-84DA36151699","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fdff8f2a77a58843a87e245d060196a08783511","datavalue":{"value":"The author gives some results about (not necessarily distributive) lattices with some ``negation'' (called \\textit{negation algebras} in the paper). Some negations, for example, \\(x\\leq y\\Longrightarrow\\neg y\\leq \\neg x\\) (DM), \\(x le\\neg\\neg x\\) (DNI) and so on, are considered and it is proved that these negations are \\textit{canonical}, that is, they are preserved by canonical extensions. It is also proved that homomorphisms of negation algebras are extended to complete homomorphisms of canonical extensions. Using the fact that the class of RF-frames is in one-to-one correspondence with the class of perfect algebras, it is proved that the class of perfect negation algebras (with some negation) is in one-to-one correspondence with the class of negation frames (with some negation).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015482$D7C6B12A-0921-45BE-A5FA-7F9F1F88B919","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$07151BD8-A951-4B29-9376-A6E7EFF5F856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015482$ECD2EEF0-3292-409C-A514-32B979489750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ebcd8f8a6081f41e602c40e6ed3050280e73fff","datavalue":{"value":"5552248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015482$687B0C2A-FFBD-4964-83EE-CB61BBF2944A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015482$2014A1D6-23B4-4164-93D9-BD73D60E8682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015482$5725CE9D-1237-462C-899A-D8C220B01A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47126f6a1175659a3d9037139060f56797a0e0","datavalue":{"value":"canonical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015482$990DB4DC-ED4A-4AE5-B039-9795560A339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015482$C54F0923-1FC6-4C37-A92D-869D92F2A04F","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":"Q1015482$A1A6158A-DBB8-44F0-A97C-1154F4E7AD9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f13a667603ea412e9790fa4aee8daf43c66bf27","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9171-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015482$3A0C7149-AABD-48D6-AF82-786293B29D4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1548dc454438ee38a4ce1b73d3723a2c33fc7285","datavalue":{"value":"W2075776012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015482$F1CD59F2-3BAD-4EEA-8D5F-DB84C988CF98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$367B231D-5DD4-43F7-BEE6-5A78287B45DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$DEFBF429-D201-4FA0-80F4-6302CE1AABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a88fc8586a5cae43b06fb74a3bdd1fb1076e68","datavalue":{"value":{"entity-type":"item","numeric-id":813083,"id":"Q813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$B5570326-DF88-4A65-9D71-548EB118B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800d1a88a5e47149795adec3643a0e968d1de230","datavalue":{"value":{"entity-type":"item","numeric-id":5459180,"id":"Q5459180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$F67C81A5-543E-481E-BF85-2C192954C013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21ab58bb009c7fdacc36da53719083d12f58009","datavalue":{"value":{"entity-type":"item","numeric-id":5843021,"id":"Q5843021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$28440691-C34E-4392-B926-C243D460FE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$E789C5AE-5B97-4625-B7C3-6FCF2C63169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$9C546B9D-4206-4657-A831-AAB3CF043AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$AF11D38F-47D3-4CA8-BCC1-DFD725A1598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$8504571D-45CB-4A24-A26C-1B444A882AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e584a7cd7e3ce89527b2786ab1fd46e814095221","datavalue":{"value":{"entity-type":"item","numeric-id":5306027,"id":"Q5306027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$60557DE6-24E0-4ADE-8AA1-3A364D829221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2666fda7ec4257b027f2eaf2183d1b5cae398c8","datavalue":{"value":{"entity-type":"item","numeric-id":1160202,"id":"Q1160202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$D49C6E1B-AAFC-4E4C-BE71-7B025C048A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49034912b3a103269437c6273cdcf4b27cbd29ae","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015482$99B44131-6392-4352-9147-94CCC410192B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20996b95832e1f95f5af4c4f1d3ed97249aa1453","datavalue":{"value":"10.1007/S11225-009-9171-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015482$8472E483-FB52-4D9D-9698-CA88672D4819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5731349e95632d89be3fc88236bf48fd71c92d0","datavalue":{"value":{"entity-type":"item","numeric-id":5459180,"id":"Q5459180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c515e5c357148f5f632abf728da07912982812","datavalue":{"value":{"amount":"+0.8225707411766052","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":"Q1015482$6E09DA9B-DBFC-4691-ABA7-872FCB4E4759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf5059f3cb8dff41506fa75602a8c09e6bd2406","datavalue":{"value":{"entity-type":"item","numeric-id":2751048,"id":"Q2751048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97eb5bd3f0335b0cbb6afc0e8f7fecbad26411f6","datavalue":{"value":{"amount":"+0.7817882895469666","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":"Q1015482$F323D3FF-781E-4BA9-A0CE-3A0601B86978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99eb2ce113a31a28ca0d9d85de3f18decb4f287","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97eb5bd3f0335b0cbb6afc0e8f7fecbad26411f6","datavalue":{"value":{"amount":"+0.7817882895469666","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":"Q1015482$4417BB8B-CF4A-43BA-AEA3-80DD650885AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37303bc95dc7e28e377e5a1308d7ea0ef236fe4","datavalue":{"value":{"entity-type":"item","numeric-id":1381851,"id":"Q1381851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6445a864fd36db61c4c71f954c4c4001df482e7","datavalue":{"value":{"amount":"+0.7740005850791931","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":"Q1015482$489EE3F1-03D0-43F4-843B-C7AEDA920824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07c64d2e4f056762c064c3cc07c962456940ec","datavalue":{"value":{"entity-type":"item","numeric-id":1970594,"id":"Q1970594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8604cdeb9c1cad6a4d37643a322b54304d4fed","datavalue":{"value":{"amount":"+0.758933961391449","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":"Q1015482$0DA70E8F-6554-4362-A9F2-9AC9FBE2EE0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1015482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1015482"}}}}}