{"entities":{"Q1117222":{"pageid":1127971,"ns":120,"title":"Item:Q1117222","lastrevid":66164010,"modified":"2026-04-12T07:58:35Z","type":"item","id":"Q1117222","labels":{"en":{"language":"en","value":"A constructivism based on classical truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091498"}},"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":"Q1117222$5650AE18-EBB7-4EB5-A1AB-F6EE3A841C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a83e980894ab6ae4381be323b0be3d24ec175fe","datavalue":{"value":{"text":"A constructivism based on classical truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117222$8864E490-597C-46CB-B98C-EF81CB9CB7ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"616bef60793b092b4ac74dd929d1c9641a6a2ea3","datavalue":{"value":"0667.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117222$5EDA53DA-EDBA-4379-B12F-ED6AA2BBB300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$09A79CF0-9CD1-45DD-8BF2-BBBB99C55900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$D31F7295-A4B7-4D97-93B5-7DE35DE084E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$43955A70-0574-44A1-BC66-3118B83C79E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f956f73617764b0eab75f41c7abc5a492650b8e","datavalue":{"value":{"entity-type":"item","numeric-id":583196,"id":"Q583196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$C0E54E5D-9A7F-42AC-83CC-B371A065D7E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$52865CFA-6136-4429-A204-16F581D335DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1117222$F61CFBE5-292F-4780-AA00-8C425754B84C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"089e4e6db55d166fa7991ca0f0e574316cc1d2ea","datavalue":{"value":"The operator T is said to represent classical truth in a system S if \\(\\vdash_{C\\Pr C}A\\) iff \\(\\vdash_{S}TA\\) where CPrC is classical predicate calculus. The properties of constructive systems which allow such operator T are studied. The exposition is limited to propositional systems with some indications about predicative extensions. Methods based on Kripke semantics are used. A maximal constructive system \\(E^*\\), where T represents classical truth, is described. For this system a kind of semantics based on the notion of ``valuation from'' is introduced and investigated. The work is in connection with that of \\textit{R. H. Thomason} [Z. Math. Logik Grundlagen Math. 15, 247-257 (1969; Zbl 0181.009)] and \\textit{D. Nelson} [J. Symb. Logic 14, 16-26 (1949; Zbl 0033.243)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117222$A8CE0415-013B-4B9A-924C-DF840AFDCE16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117222$8785013A-F994-46B0-BE87-D7D2721938FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7804832ce72c184ccc86e66590bbd0a7c615bcc","datavalue":{"value":"4091498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117222$35FEE1C1-185F-48C8-BC02-1893EED81F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0feb80a7aa25ba7a04f96051ac9fa2ba307575cf","datavalue":{"value":"classical truth operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117222$CF71C014-063E-4FBB-9F97-5736D0FBC7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5893888217fbc85bee928df15c2ccb99d477e846","datavalue":{"value":"constructive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117222$E7C50EC7-D746-4244-B440-DF0D5D3C099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117222$DB58E1E7-A90B-43FF-8008-CBE6A627ED91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117222$1B123A18-FB51-4BB8-BEBB-5E7F3A367849","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":"Q1117222$7412F921-FAFC-47A7-B158-0CE4BBB0D86B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fceceb459005d3a93ac30a01a90014ac6de7c47","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634996","type":"string"},"datatype":"url"},"type":"statement","id":"Q1117222$C38B38B2-A9B0-4FC0-AF75-A8A9FBA07A02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b44e26e090cb72aa08cc0056d7df257046f544e3","datavalue":{"value":"W2018556718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117222$90DD6DCE-D2D3-4862-A292-76F212EB3597","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff026ac57c97c85f0943db19aec92a4cfe140d07","datavalue":{"value":"10.1305/NDJFL/1093634996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117222$5D9E11B1-ED96-454E-B297-6F73595341BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd4d9a3f4be0ec137b8fed907942c336689933e","datavalue":{"value":{"entity-type":"item","numeric-id":3842547,"id":"Q3842547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdc5e02b059e6f5378e9242d55b269425d7ec68","datavalue":{"value":{"amount":"+0.7421871423721313","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":"Q1117222$0B34FEBE-CEC1-4409-9FC5-73E1B8695920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca552026090a42cd4149b164dbdb87c5d4b255ed","datavalue":{"value":{"entity-type":"item","numeric-id":2754652,"id":"Q2754652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fb5b611e94b30cbd7edcde3c7e9fd5d9ba39b8","datavalue":{"value":{"amount":"+0.7397691607475281","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":"Q1117222$C0E6F2D0-0805-4BA0-AC54-9F0D66B7BE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe4e3f6178f84d581b2af546ae6683c06d1a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd129b09f1e9ed2a3c9f86c63ed1922626a2909","datavalue":{"value":{"amount":"+0.7392469048500061","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":"Q1117222$65E06048-BB95-4503-BDF9-766E3CCB59B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a972ac328480d154e47bd9f662afcf8adcc84cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3506321,"id":"Q3506321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01937bfc180474f85e6046bb2c2e3ce81e062490","datavalue":{"value":{"amount":"+0.7351698875427246","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":"Q1117222$CE8A2F53-395F-41A9-8863-BF556FC688C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab1200c928c730b5970123c2aecdf0f608dc261","datavalue":{"value":{"entity-type":"item","numeric-id":3567769,"id":"Q3567769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0d42733b510f0500cdd886723425372234b926","datavalue":{"value":{"amount":"+0.7328038215637207","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":"Q1117222$664DDEA3-7B58-4BF7-A5D0-E20273B9F5BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructivism based on classical truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructivism_based_on_classical_truth"}}}}}