{"entities":{"Q763330":{"pageid":765179,"ns":120,"title":"Item:Q763330","lastrevid":51432386,"modified":"2026-01-18T05:20:31Z","type":"item","id":"Q763330","labels":{"en":{"language":"en","value":"On some compatible operations on Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013485"}},"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":"Q763330$33E7ED58-4836-42CB-B556-5E2EB9C72211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21fc501581ef9f0121dd4b2e4c56314390e37cd6","datavalue":{"value":{"text":"On some compatible operations on Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763330$CD213184-2E6C-446C-8BF6-07AE898B5451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbcb64e9c96cf0bdf9f97df74d290ede8ad8dd80","datavalue":{"value":"1253.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$3B97722B-9DFB-4661-B796-22D2301A1891","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":"Q763330$5C2D342F-1B0B-46ED-9D59-7329AFBD5CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763330$9B1512BA-B1F9-493E-A4A0-45300E3D1616","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"924628943e35aa2870ee5cc20147ba204b8f1b56","datavalue":{"value":"The authors study certain operations on Heyting algebras that correspond to new connectives in intuitionistic logic. In this sense, the authors are interested in examining the operations that may be defined using the minimum operator. This motivation comes from the fact that already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation \\(G\\) by Gabbay, may be defined in this way, though almost never explicitly noted in the literature, and that defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. One aim of this paper is to show that any operation defined by means of certain minimization scheme may be defined using the successor. A second aim is to extend Priestly duality between bounded distributive lattices and topological spaces to Heyting algebras with new operations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763330$74B2B03A-A7DE-439C-B798-BC9C85046A49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$ADF9109E-3FFF-4679-A3B9-A066EB133647","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$E800AB82-978D-4B70-8CB1-567ED027DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$C478CC24-9956-46C6-8680-FC05CBA71A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$C08B7A00-358A-4B46-9516-7EE72AE16F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$D437254A-FB63-46A6-B253-CDAF3AB0D751","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b51e9556621f2e6e7eb121e3d30694150c30aa0b","datavalue":{"value":"6013485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$189294D8-7B9C-483E-A4B4-82503731964E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q763330$FE6798D6-B92F-4BA7-9B1C-61C19094732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q763330$038172EE-DD5A-4041-9BF3-E06534F8289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be26f9d44ad0d92e8ee0accaee91fef48bf8ab8b","datavalue":{"value":"compatible operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q763330$DCACC4EC-2B77-4357-A576-C730AC53CA35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0c9d6c67b5455c5dddbc68bf7c9e41a92d98b2","datavalue":{"value":{"entity-type":"item","numeric-id":1699734,"id":"Q1699734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$610DD9A8-6F94-44A9-A007-E1DEB33BF747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec376dcb7cf5125b803e313059b45ffe75fceba","datavalue":{"value":{"entity-type":"item","numeric-id":284215,"id":"Q284215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$4087DE4E-7271-499C-9A52-E2EDBB10ED53","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":"Q763330$D76FC340-6B29-4C82-851C-A493F06C3B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6e9b5bf280548c5847c8c8004c9dd744eb4cf0","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9338-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q763330$326C5874-4F49-439E-AB9A-C73391B5D7AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8191f27bdead8938903f50663648e2182e24500f","datavalue":{"value":"W1995539525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$FA1196DC-FC86-422D-BFFF-B4DC2FCBEDD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$72971A28-CA99-4DC1-A3F6-5E36F5732006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17becb178336b5fdf348b81a95a35ac9eff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$184D54D0-02C3-4FED-9B6D-237B2332D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec99d402e70e752d79b95f6b2fc2fc6eb6c27b5","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$8215DD23-C15A-4964-B96C-F8FAD990B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c98be80179e56c88dc453557c4464c5f089ea","datavalue":{"value":{"entity-type":"item","numeric-id":3086713,"id":"Q3086713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$5A8D0C78-9729-4E98-A373-C43AFC1010DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$69C54D1F-24D7-4D67-BD6F-A0B380E565AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$A8E7501C-A77E-4268-B555-CEAAFFCFAFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$E6C5D039-B5DB-4BF3-B1E3-AC8AD6D84816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$10650B37-291E-4B1B-8EAA-23925072D781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c502acc6dfcc535002510abd06634bbddec40","datavalue":{"value":{"entity-type":"item","numeric-id":5345028,"id":"Q5345028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$BF76FAA0-9DDC-42CF-9794-DB0F0F51BE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d458089c007c8c0c501a9472e422b5147481f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$CF85BACC-37F4-415E-9C9C-51A2101F880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d362c70aba27e296906bb823cd220175d583edd","datavalue":{"value":{"entity-type":"item","numeric-id":2558319,"id":"Q2558319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$0F7B5829-F65E-4CCC-A811-CD9EB90D4385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79efede2da2f8e7f267e2c686940880513e8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1905252,"id":"Q1905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$ADEF11DB-2B8C-4724-9B27-49342CC18175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf9721e18cf4efed19aec4a24ebc2128361022a","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763330$F54BF606-B04C-42A8-9CAE-3FB2A865371A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"815744dfa8b3715d056c41aaf0fb53d81cc2ac94","datavalue":{"value":"10.1007/S11225-011-9338-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763330$D58BC63C-6D9D-41CB-9E52-F16CE488954A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca262ebf87b0460c5fbbea8d445e75238632ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3086713,"id":"Q3086713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01e1929e8e4f2d341fcf06a9299ee87ffa17b1e","datavalue":{"value":{"amount":"+0.8597285747528076","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":"Q763330$71036F06-E8E3-40B0-8BA9-C709AB614272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f91ec24b21b2a7d830cd22a183995350bb6f38","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc8204b7501137a37ff70dd2aef5ca381e1efde","datavalue":{"value":{"amount":"+0.7820717692375183","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":"Q763330$03A501C9-B63D-4066-927A-10C4CB52068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf762050e81f7ee8060e0aadc379afa3e7d8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc02257ffb8b3c994d5ec54a5e97099360e25da2","datavalue":{"value":{"amount":"+0.7709760665893555","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":"Q763330$23B03F4A-647F-4C7A-987A-A488EDEF5C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9297e52164e51c7a501193b637bb58e03edaef84","datavalue":{"value":{"amount":"+0.768291711807251","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":"Q763330$9CCFB135-4ABE-469D-80D6-90C3B3CCE58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b730f3fa76784c8f4185152bcc3d70cb283128","datavalue":{"value":{"entity-type":"item","numeric-id":4593261,"id":"Q4593261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9297e52164e51c7a501193b637bb58e03edaef84","datavalue":{"value":{"amount":"+0.768291711807251","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":"Q763330$5BEEC850-A7A3-47B9-B5DA-CB5999458240","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:763330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:763330"}}}}}