{"entities":{"Q2890700":{"pageid":2901425,"ns":120,"title":"Item:Q2890700","lastrevid":51488309,"modified":"2026-01-18T11:42:25Z","type":"item","id":"Q2890700","labels":{"en":{"language":"en","value":"Conservatively extending classical logic with transparent truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6045068"}},"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":"Q2890700$DB672304-24CB-4AD8-B367-B458CE5A0E60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a501e3d189a31202e7f80e4e0a82a5ad709de4","datavalue":{"value":"1248.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$049C291F-2991-41B5-B5B2-7D1C157C65A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a34de1205556e04f1bd7bdf3bda874b3962d6c9a","datavalue":{"value":"10.1017/S1755020312000056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$AF853DFA-0CEE-4F0D-A192-B56DF078F29F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad2fdb728f93bc647337f3aed962c1b5c750988","datavalue":{"value":{"entity-type":"item","numeric-id":266658,"id":"Q266658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$571FCB1A-B8D3-4528-B089-9DA23BAA9B14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$086FDB24-1DBD-4FD1-B10C-7022884394D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b407bfdab7c0722e3633ce88dbddcd941cc491a9","datavalue":{"value":{"time":"+2012-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890700$158FD8B8-5837-43A6-B371-569667865839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$AD49772B-9207-49A6-8A24-4BC6AC5553CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$94A7E159-9030-4651-A4C5-8D0C145CFC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$13F4FCB7-137D-42C2-BE90-39F9200B848B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76a85c834e276b79659f88f777df12b4c62c3fd9","datavalue":{"value":"6045068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$7102FCA2-479B-4FB4-85D0-AFB7305D5574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e04e9488c3cb15ed1fdfae619541e72ff90e189","datavalue":{"value":"transparent truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$1CA1B268-7586-41B5-8104-D7F33432A528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caaaef75105efc2b759d96f7599522c36b97f8e2","datavalue":{"value":"distinguished names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$EDABC506-EE81-4A84-ACD4-B5E50A02C19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce35c57f04cdb94f8470c87f339ec5fb6e1e9710","datavalue":{"value":"quote-names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$1D4CF2CB-6D54-48D3-8024-87922157F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08948a79c84a0632ed303d4364f73aa360255b98","datavalue":{"value":"T-transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$D555EDE4-09AF-4C72-8818-07B3116C5179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$8D5199A6-70EA-4790-8856-16110B131E28","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":"Q2890700$F1442F3B-032D-40C0-B76E-99D77CC1A651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$9C15125B-1A04-4707-B58B-27CC9D68814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bc0d69de9ad54d0dd204cbc07475b6092e3c73","datavalue":{"value":{"entity-type":"item","numeric-id":4822151,"id":"Q4822151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$51DC3DC9-C6D0-42CE-9226-867692C73C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eab2bb96a8dcfea4a10112352d511c8226e0db5","datavalue":{"value":{"entity-type":"item","numeric-id":1347605,"id":"Q1347605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$FBC0A4F1-7BC6-43BA-A229-640456AD1B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$07C46A28-E601-476F-ADAF-89A4CE54627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ba07ddf96d4136edf426d5956a034b4e08b535","datavalue":{"value":{"entity-type":"item","numeric-id":1107507,"id":"Q1107507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$C5FC0A01-A5F6-4F5E-8591-467B77764425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$F0FF3ECE-00A3-4A59-824A-3BB9CDCCCCD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74837a72b5c2206d963e4d54d1ef0bb089296876","datavalue":{"value":"https://doi.org/10.1017/s1755020312000056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890700$119EDD89-BAA5-4005-A87E-C3ECD3C6E540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0164b440fc81e5e4f3550ce1bf1e12d94bb6f62b","datavalue":{"value":"W2133089137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890700$007D31E4-60D0-412A-8E0B-2A848D2FE403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01a3c4960c4dfce9335f6b972d4d458a6606d19b","datavalue":{"value":{"text":"Conservatively extending classical logic with transparent truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890700$AEEE6277-8102-4EA6-A022-052A602B8ED1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c620a46af2bd7e480eefd5063fc779bc9979f8d","datavalue":{"value":"A conservative extension of a classical logic with a transparent truth predicate is described. The price to be paid is (a local) non-transitivity of the respective logical system, where this non-transitivity blocks the possibility of deriving absurdity. Two Gentzen-like proof systems are defined and the proofs of their soundness and completeness (with and, respectively, without admissibility of cut) are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890700$685DEDDA-AF88-4880-AFC1-9091919EB469","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890700$03CF630B-0F40-4BE9-BF40-9AB06032D5F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db4be769ca7a121a9fb944510027b04433015e6","datavalue":{"value":{"entity-type":"item","numeric-id":253131,"id":"Q253131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da791c14a50d7b9c4ed1ca200a99a649b1d3881","datavalue":{"value":{"amount":"+0.8333032727241516","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":"Q2890700$55F04D7A-4F6C-46FE-A314-1076DAAD42CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347cf888a96a18d191a214dcc88e1704a4b45244","datavalue":{"value":{"entity-type":"item","numeric-id":5107533,"id":"Q5107533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fda2f84ae5abf3bdbff98f80569228f88477780","datavalue":{"value":{"amount":"+0.805433988571167","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":"Q2890700$1B72F10A-BDF3-4427-BB53-3B7CAA6E8D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5843b29309dcdb1b38cd2ba32d8b272e33e22c00","datavalue":{"value":{"entity-type":"item","numeric-id":3386894,"id":"Q3386894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44046f20ea48fadbb8dbad924b77eca5fc7d4893","datavalue":{"value":{"amount":"+0.7687686085700989","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":"Q2890700$4F415308-9A01-49F1-9F55-7D5DFEC031F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e795a61b5c9126ff35b2bbdbdbc96542872202","datavalue":{"value":{"entity-type":"item","numeric-id":3224045,"id":"Q3224045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79250aed54a932011ee31bff02b15a32214513a9","datavalue":{"value":{"amount":"+0.7641386389732361","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":"Q2890700$5C0C7542-1B35-4A4A-B079-A38038E111AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdaf3cb1ab938e0deea3f63b5be70d1537127e8","datavalue":{"value":{"entity-type":"item","numeric-id":1708468,"id":"Q1708468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377d496f6d483dbdbc7088e90b1c00bfaf6f07ad","datavalue":{"value":{"amount":"+0.7607900500297546","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":"Q2890700$7D888798-49C9-4ACC-8815-915BDB0812E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2890700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2890700"}}}}}