{"entities":{"Q2402962":{"pageid":2413705,"ns":120,"title":"Item:Q2402962","lastrevid":73765119,"modified":"2026-04-14T17:11:32Z","type":"item","id":"Q2402962","labels":{"en":{"language":"en","value":"A predicate extension of real valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6775041"}},"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":"Q2402962$8B9EB53D-FA4D-4277-9455-1A897749C0DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e41450c593d3c7b5a9bcde9738c9739c8f4ad78e","datavalue":{"value":{"text":"A predicate extension of real valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402962$BA1EAD84-6F2D-4334-BAA1-E99DF91C2ED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a28c3b8171192296fc54218f04c7f2c0c4bba08","datavalue":{"value":"1381.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402962$012AF4C6-6C6B-4104-8BF7-1D79F4B178A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$5F862F97-424B-4FE1-8E77-899E7050B0FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$05D14F9F-D554-4347-8CA8-B373E83400E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e0e47e5327cb2e2874331da338f2ae03a1e6c3","datavalue":{"value":{"time":"+2017-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":"Q2402962$66D1B147-668C-4204-8B25-A4CEBB9AE646","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfb7c4930bdb7f189bf37b33c243b1df03e965d2","datavalue":{"value":"http://hdl.handle.net/11572/194162","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402962$E887698A-064C-436B-8EFB-EEDE80831050","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb7d2e0cbfdd1b41e10583c8efab7ed8a7f4adf2","datavalue":{"value":"In [Math. Log. Q. 61, No. 1--2, 32--44 (2015; Zbl 1372.03046)] the author and \\textit{D. Zambella} introduced an unbounded real-valued propositional logic, called propositional \\(\\mathbb{R}\\)-logic. In the present paper, the author carries on such research line by presenting a first-order version of \\(\\mathbb{R}\\)-logic.  For more details we quote the summary of the paper:  ``We study a predicate extension of an unbounded real valued propositional logic that has been recently introduced. The latter, in turn, can be regarded as an extension of both the abelian logic and of the propositional continuous logic. Among other results, we prove that our predicate extension satisfies the property of weak completeness (the equivalence between satisfiability and consistency) and, under an additional assumption on the set of premisses, the property of strong completeness (the equivalence between logical consequence and provability). Eventually we discuss some topological properties of the space of types in our logic.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$6A5851DD-991B-4D89-8260-2F188E5885A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402962$6119D2EA-536D-47ED-98B8-3CD02395D03C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab4375ca39d0fd005c43d4f0774c5d8987b6d723","datavalue":{"value":"6775041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402962$D5E00B86-FDC6-4B3F-80E8-344C6DACCE25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$6304F890-0837-4A21-B747-B85F0FE442E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2a84796d21dc122d667b4193cf73d0550b571e","datavalue":{"value":"unbounded truth values","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$5B0AA41A-54CD-4997-A4EA-85D833B7E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffaaf867bf438e89a260ab9f781529b7bd36a84","datavalue":{"value":"real-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$F702B230-7031-4E84-B9F3-46111B568FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75c8725c53ec02bd11998c4d764ba1cfa90a631","datavalue":{"value":"abelian logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$C4B2B337-00AC-4DBF-B78D-FE515718B476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402962$C9A8DD1F-57DB-4836-B41F-8EE6FA7D55AE","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":"Q2402962$036964AF-2769-40A9-85B5-866C0FA6980C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a8716ac486c7e76cf7cc286cd153655fbf85aea","datavalue":{"value":"W2619261889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402962$4DFA33C7-6006-40D2-AC3B-FC4E50414044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d2977733b369399750642f1fa6d9f71554512d","datavalue":{"value":{"entity-type":"item","numeric-id":5491574,"id":"Q5491574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$1D1E3B86-7F8E-4E1F-8A73-87345C73E75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe0d7af558cefe2818465d690e4734b6cc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":5179272,"id":"Q5179272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$FA9EB5F3-DA13-4E6D-9B13-E7538F566B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1003c3b824402da75d1eda2657089a22fd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$1127DA17-B717-404C-B4BB-BA6C16A1B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883529859e33defe9138f674f356f6ad6f0fcab","datavalue":{"value":{"entity-type":"item","numeric-id":5718690,"id":"Q5718690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$62CAB4E5-4506-4D02-9ED4-CBB56670A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$BBD73DA5-F5B3-4AE2-B6C9-C3446E8CCF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$351E7FF6-4714-4D70-924E-B4E456CBB68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad6fb99d01c24bd48783bc20efcdf69853afda7","datavalue":{"value":{"entity-type":"item","numeric-id":4064235,"id":"Q4064235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$6972BD51-2922-4DA3-AD14-7E927B5A4BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f047320fd7e3226a640c6d6329237827d570808f","datavalue":{"value":{"entity-type":"item","numeric-id":2969690,"id":"Q2969690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$DE43F58E-B1BF-439B-B27C-923CFE101ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$7EDE12FE-0FF6-4C96-931F-C3BCBD8CEA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dcbdc46ea49ee475b8f2c4fb8f3ed761c8b82","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$BE2316E3-9B48-44B0-9634-EDF83ED18216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402962$11A576D5-A6B9-4F9C-ADED-ABE4D19743AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7872203a87a608bd194be77e2ada18aa8a9923a","datavalue":{"value":"10.1007/S00153-017-0558-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402962$1648FDFF-50F9-46B9-B60F-712C2191C70A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e527ad3e1a0dd66dd826b421999967339b9a85","datavalue":{"value":{"entity-type":"item","numeric-id":5179272,"id":"Q5179272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cf367f058cc5914fc666e36677fb40bdbbbf57","datavalue":{"value":{"amount":"+0.823065996170044","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":"Q2402962$B83EB5CB-81DF-4E07-BB0B-B87DAE5275F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa39297d4cc919a14acb5567a2e80bb4c92f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802180363bd8cd05ce6eeb7329d4048423cacad8","datavalue":{"value":{"amount":"+0.7572168707847595","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":"Q2402962$47C613AD-FF9A-471E-9F8D-FEDBB4FECAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7caa784e70d069c58742510979aa0dd19dc9b1b","datavalue":{"value":{"entity-type":"item","numeric-id":4795397,"id":"Q4795397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843c0f6e75c0f1c85335966708ee5205b7696b08","datavalue":{"value":{"amount":"+0.7515624761581421","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":"Q2402962$C269B2D2-919F-4551-B81B-A0B264179B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ded3d9f1d44e5b7152d2f1ea9ce2ad03cdffcba","datavalue":{"value":{"amount":"+0.7511048316955566","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":"Q2402962$2A471A8B-C0DB-46DA-8B26-561A267382E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29560c6cdfcaede0bc8c572ed95012dee18fe9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1891930,"id":"Q1891930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e253eed602f41e33ea69f0dd837a0c4e22889f","datavalue":{"value":{"amount":"+0.7484135627746582","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":"Q2402962$7A7440F4-0EB2-4E0A-9592-AECAE0757403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A predicate extension of real valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_predicate_extension_of_real_valued_logic"}}}}}