{"entities":{"Q495839":{"pageid":497606,"ns":120,"title":"Item:Q495839","lastrevid":62332956,"modified":"2026-04-11T05:22:04Z","type":"item","id":"Q495839","labels":{"en":{"language":"en","value":"A note on natural extensions in abstract algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482421"}},"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":"Q495839$ACECBA1A-ECC2-4720-AFF2-01D0BD8EB873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46238636440b06471ff480a325b52e06159043bf","datavalue":{"value":{"text":"A note on natural extensions in abstract algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495839$9257B444-027A-4CAF-8773-EAE5A3AC2D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab2ccd013a400712ece947e2b6971993beb8a5f1","datavalue":{"value":"1333.03268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495839$9D099341-AC4D-4FB1-9030-7AD839B54F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$59C938A1-87F7-42F4-BF2C-20275909ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$67FA27CB-B578-428E-87D3-BECC4573CB4C","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":"Q495839$3EC10496-0946-4719-AED6-264841CD1363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495839$44E1A4C2-9E5D-4B24-9C76-861E13366737","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e19368472abb9f538747e9acd93c4a5215ea465c","datavalue":{"value":"The paper analyses the existence of natural extensions of a logic for arbitrary new sets of variables (This concept was introduced by \\textit{J. Czelakowski} [Protoalgebraic logics. Dordrecht: Kluwer Academic Publishers (2001; Zbl 0984.03002)]). The proof of the transfer principle and many results require the existence of natural extensions of the above kind. The authors show that the constructions of natural extensions known in the literature do not always work. They improve the foregoing constructions introducing a technical restriction that needs to be added to ensure the existence and the working of natural extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q495839$DD9B0F5E-5E98-4D5B-994E-979718DD2E6F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bca6eb89b6630dfb07a794ff91f372e7fdee6c54","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$2E8E9E49-8899-485C-BBCA-E62FD4B9DBE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495839$1370F28A-6652-4A2E-9DB3-4005F34E84F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"209ccf862ce6240a3eb5072382051d937d94f812","datavalue":{"value":"6482421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495839$98897889-2CE3-496B-B71E-215073242EBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"983ef8af378424c04a62f8919f7ecb33c339233d","datavalue":{"value":"natural extensions of a logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495839$8D57AD95-EDA1-4F8E-B0FD-5B5B394126FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c681a96dcccad8e4786bf58b5a108b5b3689fc","datavalue":{"value":"transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q495839$4E974583-0A57-4BA0-92B8-C1DB27122987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495839$8186F1DA-E519-4D64-A575-5BDE6E5A838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q495839$46D64CA7-7252-4374-9A16-6CCB481DE66E","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":"Q495839$2C1C30F6-C8F3-4A4E-834F-1470CAAFBE6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"511717fb33568a447bf6f04fc245dabace732623","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9594-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q495839$EC56DC2C-08DB-4717-A011-68C6746077CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4435ec295e0f35b12b1b7b58227b85070ebb58be","datavalue":{"value":"W2023990019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495839$6F90E68D-7114-4920-A572-A2A8D9E227E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$840BA4DB-9411-4E37-8C11-3ACD6FA641EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$318316FE-C707-4B9E-94A4-BC138082E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa190d3d8ac417994969335d39b5ad3f09712b9","datavalue":{"value":{"entity-type":"item","numeric-id":368486,"id":"Q368486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$99815E58-45B9-4CAD-BBDC-C5860277563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6b235d7cd022fdca839be70d852df12c4c7aae","datavalue":{"value":{"entity-type":"item","numeric-id":1076010,"id":"Q1076010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$00720A25-5DA3-4CA1-A82C-15F61558F22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$30C54F20-F094-413C-81B2-940D740E5609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$694839FE-E6B2-45A7-9C68-3E5B0F924231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$0376435F-B5C7-4FAF-82EF-682351433947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711d2e197b211054c7eac68fab92b8a924fd8038","datavalue":{"value":{"entity-type":"item","numeric-id":1005985,"id":"Q1005985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$05484492-7166-45BC-80CD-5E30CCAFFDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495839$113439BC-351F-44FC-9027-776FFD2705A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05b83e77229e28f5b0253e4ecef0c3361167404a","datavalue":{"value":"10.1007/S11225-014-9594-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495839$E88D0BC9-462D-455D-BFB5-8742F63EEA71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90546737e0a0ee92afb92822931f8c3949fc4cbf","datavalue":{"value":{"entity-type":"item","numeric-id":514508,"id":"Q514508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef469c1e981bffe5dcaa8e43fb18b7c9a5b5e93","datavalue":{"value":{"amount":"+0.8167897462844849","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":"Q495839$F892A3FE-2C77-4A64-98D4-2B8550BF63C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddef8a1aa076bc08b75e06b93bbaf4b9da24966b","datavalue":{"value":{"entity-type":"item","numeric-id":1756591,"id":"Q1756591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd764b86df13b59acdc48647b69d7148d720cddf","datavalue":{"value":{"amount":"+0.7353581786155701","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":"Q495839$765ADEBC-2A30-429E-9BFC-569C13529A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a41ac1e4c74f72dce4d5a14eafeccfba99fcf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2372304,"id":"Q2372304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07507c6e42ec38375ac5d6b549ba31b32a923824","datavalue":{"value":{"amount":"+0.7129877805709839","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":"Q495839$2424A44F-9662-46E0-8B39-34A1BAB0DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004bea8e86052ab97302d8e7e8200a98dd167144","datavalue":{"value":{"entity-type":"item","numeric-id":5294718,"id":"Q5294718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b7062d633301abde9be277e308913e304a6fc4","datavalue":{"value":{"amount":"+0.7119806408882141","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":"Q495839$419DA236-5BC2-4B6A-A108-74E9E3E11DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2ddbb6ce3b5fe37df8875a813efe4abfb205e1","datavalue":{"value":{"entity-type":"item","numeric-id":1868251,"id":"Q1868251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6a312ee17523c80ce367921185dab0540d6079","datavalue":{"value":{"amount":"+0.7055091857910156","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":"Q495839$D09AA75D-ACAC-4B56-8BC4-6031CB76B25C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on natural extensions in abstract algebraic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_natural_extensions_in_abstract_algebraic_logic"}}}}}