{"entities":{"Q1869202":{"pageid":1879944,"ns":120,"title":"Item:Q1869202","lastrevid":73048461,"modified":"2026-04-14T09:51:25Z","type":"item","id":"Q1869202","labels":{"en":{"language":"en","value":"On extensions of pseudo-valuations on Hilbert algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1895990"}},"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":"Q1869202$DD5AB590-585A-4D9A-A0DF-4361676A9A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fd1bbc50443d7939d6398405d6d6c6849ec7998","datavalue":{"value":{"text":"On extensions of pseudo-valuations on Hilbert algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1869202$CEAD7133-EF22-4037-B242-88B932BC67D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5df854ee58dd3052e207b406ccc8cd5508d1a59","datavalue":{"value":"1018.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$D92C10AF-0541-4B52-8A48-E3CF86BF8FC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3420d004047de9829d3f8daf1491e9a1d2a39832","datavalue":{"value":"10.1016/S0012-365X(02)00552-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$83236224-CEBD-47F2-9E1C-62D5547E9277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869202$B2D6873E-9275-4C33-A52E-E57F3B5074CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00fc66ee85e9b306af3b2dc59b88166cc25a2f20","datavalue":{"value":{"time":"+2003-04-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":"Q1869202$A094B2BC-037E-49BB-8C3E-D724C54A9EE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4566d9d4ab0b4b8124fdc57adafcffc344edd50","datavalue":{"value":"A Hilbert algebra \\((A,\\rightarrow,1)\\) is the algebraic counterpart of Hilbert and Bernays' positive implicative propositional calculus. A pseudo-valuation (valuation) on \\(A\\) is a real-valued function \\(v\\) defined on \\(A\\) such that \\(v(x\\rightarrow y)\\geq v(y)-v(x)\\) and \\(v(1)=0\\) (and \\(v(x)=0\\Leftrightarrow x=1\\)).    The problems studied in this paper can be given the following abstract formulation. Associate with each Hilbert algebra \\(A\\) a Hilbert algebra \\(A^1\\) and a map \\(j:A\\rightarrow A^1\\); under what conditions is it true that a pseudo-valuation/valuation \\(v\\) on \\(A\\) can be extended to a pseudo-valuation/valuation \\(v'\\) on \\(A^1\\) (which means that \\(v'\\circ j=v\\))? The problem is solved in the following cases: 1) \\(A^1=A/D\\), where \\(D\\) is a deductive system; 2) \\(A^1=Ds(A)\\), the dual algebra of deductive systems of \\(A\\); 3) \\(A^1=H_A\\), the free Hertz algebra over \\(A\\); 4) \\(A 1=A[S]\\), the algebra of fractions relative to a join-closed system \\(S\\). The paper is remarkably self-contained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869202$97D02E66-1819-4468-83B3-A939FFEF0406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$03373919-2E22-47F4-8A5E-7A6075F63EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$26E433BE-0223-4312-8E91-AF179C5EC9F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38c93920f8c7112b6f3ac340667d57fc2ef4a62","datavalue":{"value":"1895990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$508F6E14-1E4E-480C-8D18-B74025E2493D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869202$1938E0A2-B614-4377-9030-F98718D2CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a87fbffc64e71cccb1f379b2e85310feb066c91","datavalue":{"value":"Hertz algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869202$697B5193-A64A-4EF8-9A5D-22151FF7E6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869202$B39E94C2-38E1-4C1D-B3D8-EE0C0DB56083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869202$269C503F-1CD2-40AD-A88D-C679DA5AC0D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9abf77eda7669087ee983e217e3e9d8555f2d4","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869202$0F141A10-9F01-41D2-A139-F5A5C28D8D04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869202$1E5BB0D6-AA66-4B5D-9127-4F1C2BFAF2A5","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":"Q1869202$93E69990-8710-4A6F-8C8C-C7AE8AE8747F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad9ce7baf1e375e293dbe66e6700791a84aed71b","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(02)00552-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1869202$03EF0FC0-376D-455C-898E-C02132D6C7F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c142717b4e603c0529f195360c9f34ce937d5b3","datavalue":{"value":"W2046833856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869202$71AAC219-2322-4422-BAD2-215770C77314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a932527e8f10670ab0a6d5cf9d5b6a6eb852e44","datavalue":{"value":{"entity-type":"item","numeric-id":4706864,"id":"Q4706864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b0359b2527e446a68d69d7972c81fc047de243","datavalue":{"value":{"amount":"+0.9276289343833924","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":"Q1869202$D8E9AFB4-483E-461D-AC7A-924EF51DC74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b7d5d5b6328be86d84df1d8fbba42e3905cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":3749102,"id":"Q3749102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b0359b2527e446a68d69d7972c81fc047de243","datavalue":{"value":{"amount":"+0.9276289343833924","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":"Q1869202$F21360E3-3445-45C1-867E-8856C6C5A3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df75359fb8f3e6ae4aaa2f1c0483bbe8fd97c7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4359070,"id":"Q4359070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ebb625973400f980b7350b5a99d76e945402e5","datavalue":{"value":{"amount":"+0.9186666011810304","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":"Q1869202$1B82A027-CB45-49B9-B2D2-5623914CFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb8f38b82afb69f0f2577586e755f79134664d6","datavalue":{"value":{"entity-type":"item","numeric-id":4892985,"id":"Q4892985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4427cd6ee54cd22576d47ed66c1c0c491eed2f","datavalue":{"value":{"amount":"+0.8949581980705261","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":"Q1869202$D4B5B6B3-7698-488A-A76F-F04AEF919CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822ff4942ab68e168e8e4c098a55de031b5e336c","datavalue":{"value":{"entity-type":"item","numeric-id":1357099,"id":"Q1357099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4427cd6ee54cd22576d47ed66c1c0c491eed2f","datavalue":{"value":{"amount":"+0.8949581980705261","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":"Q1869202$34044A02-7591-454A-925C-2900DCE53874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extensions of pseudo-valuations on Hilbert algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extensions_of_pseudo-valuations_on_Hilbert_algebras"}}}}}