{"entities":{"Q753812":{"pageid":755661,"ns":120,"title":"Item:Q753812","lastrevid":64157841,"modified":"2026-04-11T18:01:30Z","type":"item","id":"Q753812","labels":{"en":{"language":"en","value":"The Priestley duality for Wajsberg algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181328"}},"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":"Q753812$4542748D-7A58-4D0C-80A9-AC2D6E6948A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30bf1df41c7d58897abfcc05ffde0ff1c4b1071e","datavalue":{"value":{"text":"The Priestley duality for Wajsberg algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753812$99535FF1-FF22-470E-9BED-47AD2343A060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1073bf9bee1befbd1edc69e5979b90566df2b16c","datavalue":{"value":"0717.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$9A5F8283-9141-4C0A-A88E-4B8D051D57BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1ef529ef1cfc123b7acdd095659f949a55fecc0","datavalue":{"value":"10.1007/BF00401552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$4866EFDE-049A-4581-93FA-5A067ECBFAC6","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":"Q753812$D6D77508-3A34-4E7F-A8DE-6241A169A799","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q753812$D5668F83-4DA2-4B24-B843-46B3767A4B17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d50289e835b1d5192b9a63bd4d56064fa6e082f","datavalue":{"value":"Wajsberg algebras are the algebraic counterpart of \u0141ukasiewicz logic that is defined with axioms which characterize implication and negation and with Modus Ponens as a rule [\\textit{A. J. Rodriguez}, Un estudio algebraico de los c\u00e1lculos proposicionales de \u0141ukasiewicz. Ph. D. Thesis, Univ. Barcelona (1980)]. In this paper, Wajsberg algebras are considered as Kleene algebras and bounded distributive lattices. The aim of this paper is to develop a duality theory for Wajsberg algebras, extending the duality between Kleene algebras and some ordered topological spaces that is considered by \\textit{W. Cornish} and \\textit{P. Fowler} [J. Austral. Math. Soc., Ser. A 27, 209-220 (1978; Zbl 0403.06010)]. A Wajsberg space is characterized as Kleene space over a family of partial functions satisfying a number of algebraic and topological properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$7D76920B-3E31-41B4-BCCC-436137F15475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$79015644-9D92-4BAC-BCB3-8D6CF3CA9CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$CC7D3354-4532-4BB8-8EBF-0589A96B7A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$2348C648-8EE1-486C-A7D4-BD4EA85AC702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6a7c9a0e037ea21a96c94ad66a5ea77d3a9a62","datavalue":{"value":"4181328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753812$4CBA6A18-3EF6-47C9-97DE-811374F3904C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df4d5279c1c91d913a814c6a59d13739df77423","datavalue":{"value":"infinite-valued propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$94961837-FBF0-4D2D-9767-89C0E2EBA8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6028e1c4fb13614618d45975e9290171e58651c","datavalue":{"value":"Wajsberg algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$742DC029-A1B1-4BE2-8024-DC2354FB3A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$33C29791-5D03-4131-96FA-9AE511DC6975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$C39E4924-36D9-4E0C-8D90-44BAE4DA89FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$C53E4564-550B-4C3D-AE06-178FEB9E6FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f288d6791dd2c613842e09c11eabcc7fea7c5eb","datavalue":{"value":"Wajsberg space","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$A6513CE1-1730-487F-B21F-F4C5DB0CFCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24068760bda96f52984a64f042db54d2e758cb94","datavalue":{"value":"Kleene space","type":"string"},"datatype":"string"},"type":"statement","id":"Q753812$15BF2F3D-0B9D-4544-88E8-7322704C0E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7768e00296a8552160094f00ee1c903d11ec11c","datavalue":{"value":{"entity-type":"item","numeric-id":186048,"id":"Q186048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$73B93A14-3500-4068-89AF-4337F4FF3FEA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$BDA6E462-E97B-43BA-AE35-9EFDAD749F0E","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":"Q753812$2B8D2FDC-F0A6-44C3-9E88-BBB666D1A293","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37787b2ea0e21fb2cc3abfbbcdf2132e98499ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1838472,"id":"Q1838472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$A5665D95-1334-46EA-8DCE-F181D9021ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9dc034d445a5e4134097a5c1c1dff2a9d568fa","datavalue":{"value":{"entity-type":"item","numeric-id":4094903,"id":"Q4094903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$A9BD2130-CE42-4C47-B208-C5B3EA25EA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404104a09c600389cf9b1775f5baa28cf96609b9","datavalue":{"value":{"entity-type":"item","numeric-id":4187871,"id":"Q4187871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$6148A964-353F-4FF4-A94A-52C766EDD95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$CBEC91CA-0466-492F-B9ED-9E73FED1D640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$0C140223-E5D5-4054-9145-5FD5B3FA89AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ae8b1779720a92745a6420e834633b3873390c","datavalue":{"value":{"entity-type":"item","numeric-id":4156761,"id":"Q4156761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$1F4DA927-FFAC-4858-ABCB-32B67962C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815eb2ee300f1f7920e9a5654fcb96a47b99269d","datavalue":{"value":{"entity-type":"item","numeric-id":4137140,"id":"Q4137140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$BFF95E75-886A-4824-8FF7-2B9FDC03FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$4C84F445-4D8F-4164-8133-BA9CADA35159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$27C7A155-FEF2-4AC4-AB0C-8C5698A824C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$7C12201C-E812-4FD6-9B77-0B94324E8333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$2D75868D-9A7C-47AC-9F18-293F7D399725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116855ea536823a1e17c43ae8eba2051a5a43c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1090332,"id":"Q1090332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$0EA022E7-F1AA-47D4-91D7-D98641F7BB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d1a8eb2de3a993c6376952646c796278e87ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3855183,"id":"Q3855183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753812$0A6772F1-36C7-451E-A29E-977CE22BD888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d7f7306e95b07e5ffa3461940f2b363cddfeb4","datavalue":{"value":{"entity-type":"item","numeric-id":3222191,"id":"Q3222191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b53ee568bc4b27412ece7cd11bcad8764efc61","datavalue":{"value":{"amount":"+0.8400107026100159","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":"Q753812$56FFBE7A-2F2C-45D1-AF81-306165D14D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35489f019a9a7c8910284fe48d0d5d0dc4959bd","datavalue":{"value":{"entity-type":"item","numeric-id":4660201,"id":"Q4660201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd15f5a346ff4aa60971e6db0332cc5c5293491","datavalue":{"value":{"amount":"+0.8370103240013123","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":"Q753812$E119E61B-9D33-4A20-B9AF-9670EFC54D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd726e31e61cdde6f6015b15e239175e70fc410","datavalue":{"value":{"entity-type":"item","numeric-id":3204458,"id":"Q3204458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfccb26b668fda86f20b69ffaa3be65c8ecebda9","datavalue":{"value":{"amount":"+0.8198511004447937","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":"Q753812$D69B6888-F224-49A5-BA18-98B5F983F5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002b5e06cee8147f92116d02195732fc080c9f25","datavalue":{"value":{"entity-type":"item","numeric-id":4032847,"id":"Q4032847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebae254969e7c725e0726a44cce39dd5af566bfe","datavalue":{"value":{"amount":"+0.8037353157997131","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":"Q753812$F477BE3A-5198-4CC5-BE86-EBFF21CAA3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9e77f3c29cae27e5c0aab603906cc5221372bb","datavalue":{"value":{"entity-type":"item","numeric-id":1317894,"id":"Q1317894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad6a02f29a3ae80bff05eb8d4b8a4aecabdcc21","datavalue":{"value":{"amount":"+0.8011327385902405","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":"Q753812$9076A081-D107-488D-9AF9-D32F2146350F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Priestley duality for Wajsberg algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Priestley_duality_for_Wajsberg_algebras"}}}}}