{"entities":{"Q1896760":{"pageid":1907502,"ns":120,"title":"Item:Q1896760","lastrevid":69223269,"modified":"2026-04-13T05:34:49Z","type":"item","id":"Q1896760","labels":{"en":{"language":"en","value":"Maximal weakly-intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795271"}},"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":"Q1896760$C013F2A5-D655-42ED-888A-0E76EC90E768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d57ac88c02fe21a0cb8d8da1680f7be07c195ebe","datavalue":{"value":{"text":"Maximal weakly-intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896760$58CD92A1-C5BD-496B-AE1B-38857C71C3E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcc9c02620a33aad77b1bfc3eba2cf1fcecdb0f1","datavalue":{"value":"0841.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$DF54E7F4-3023-45FD-AD52-7C5AC1820BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f9e5cfb83928ed43171928bf9c5da1983c2f12e","datavalue":{"value":"10.1007/BF01053037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$44E8B373-02CE-4510-985A-2CC30071DED8","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":"Q1896760$BD0436C2-9403-482D-B423-ED1F64F6DDCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16e7f627e6e9c247fb919d03f47eda62eaa793e8","datavalue":{"value":{"time":"+1996-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896760$54A4146F-C8AB-4A11-9DE2-F8CEE7EF303E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b81afb41a63ca1a9e2ee8a9d81de860bc6f8c76","datavalue":{"value":"What happens if one adds a new truth-value \\(F^*\\) to the Boolean values \\(\\{T, F\\}\\) such that \\(F^*\\) and \\(\\neg F^*\\) are both false (\\(F\\) and \\(F^*\\) coincide otherwise)? The setting is adequate for an axiomatic calculus \\(I^1\\) in a \\(\\{\\to, \\neg\\}\\)-language. \\(I^1\\) turns out to be weakly intuitionistic (or else: paracomplete, i.e. without the law of excluded middle) and not paraconsistent (unlike its companion \\(P^1\\) which is based on \\(\\{T, T^*, F\\}\\) with \\(F^*\\) and \\(\\neg F^*\\) both being true). Furthermore, it is algebraizable in the sense of Blok and Pigozzi. Adding further truth-values one arrives at a hierarchy of calculi \\(I^n\\), resp. \\(P^n\\). The paper contains numerous misprints.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$30ECA6B8-2E6E-4AE4-9396-59DB59B40D5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$EE3D5228-E0A3-495B-9615-33B50F1D3BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$4BD2A6F2-3EF5-4F84-98BF-FBD257D377D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$DAE1D02F-1CCD-4315-B823-CC59D5FA5283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$1BC14037-9879-40B4-A828-253CF4FE6D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83102016071a2b5f72773634e77cc142804681c3","datavalue":{"value":"795271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$D22C0319-8DEA-4EF7-9C4A-CA52A04FC01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d926f44e6110a268dae685107cff841d0c4787e","datavalue":{"value":"weakly-intuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$63AE036B-A66D-4E33-93AF-24162CA813F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$92811469-07A1-4BD3-8028-E30224E47CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05532252bc3036fe2b7817b303cffc1e5142a9f8","datavalue":{"value":"paracompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$AC1557AB-F4DB-4963-8122-B723E25FF1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$2938C54E-9BF9-4C4A-BB19-BB4E21BDFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d1387d0a94604f49fc53702984d23de27c80e8","datavalue":{"value":"hierarchy of calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896760$25439001-860A-4FD4-A581-948CEE67A36F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02e2d7bda28f02e5f35bc547ab280c3b24f618c","datavalue":{"value":{"entity-type":"item","numeric-id":752701,"id":"Q752701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$CF6BFA6D-72D4-4954-B665-7111A342CA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$5893034A-59CD-48F0-9011-2AE847F5B487","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":"Q1896760$895A7BF7-9D61-47D4-AC71-84DB9B33D5B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce7f9daf77414d5b3281bc19bc9898930f05899","datavalue":{"value":{"entity-type":"item","numeric-id":3861360,"id":"Q3861360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$8169558E-6E77-4C24-80DF-286CF87DDE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$D1F171CD-21C4-4887-B2FD-2DACC4D1E681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcd39e54c68c67d7cdb6588eed8f738e835920f","datavalue":{"value":{"entity-type":"item","numeric-id":4328563,"id":"Q4328563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$DBAE2FA6-D65C-4705-8BF1-930D75C9FED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3a6eb1989ab82a5e8e5155d6e94b178d58bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":3030797,"id":"Q3030797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$8BDF76AE-456C-4E26-AA78-901EA1BAC96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27ffc32bcff1472d8d2aac8dbf3d23e1a5a591e","datavalue":{"value":{"entity-type":"item","numeric-id":5202993,"id":"Q5202993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$AB741AE8-1777-4A9C-8CE2-3855A2508AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896760$2093BE74-3829-4614-B762-3C88B68B502D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fb46f05ef008288017f0da69969d03776ee7061","datavalue":{"value":"https://doi.org/10.1007/bf01053037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1896760$0F0B20AE-4C66-428C-8D63-A7D5289CD368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"888f441da433956a84a05edb3d46f7a7319adbda","datavalue":{"value":"W2048502195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896760$290EFABA-CC54-4A9A-A076-0C31AA646E3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19250fbc17bbf56d6659ffa399378150b3f39eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0040e55a8c1c0915494edded1a49d373869636d","datavalue":{"value":{"amount":"+0.7106391787528992","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":"Q1896760$90FB3588-D094-4942-9F50-E3943FC593BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1c5767801c927ced26cb4e7e9f5a551fca7e22","datavalue":{"value":{"entity-type":"item","numeric-id":3812201,"id":"Q3812201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed56244a0c7cbe6c2d3036c2b9c402aafafd65c","datavalue":{"value":{"amount":"+0.7083841562271118","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":"Q1896760$86252E77-FEFC-4C1C-87E5-14DE1FA77BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26efee3a12eb021b4ebd02c6ac8e40c8200c3f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3119281,"id":"Q3119281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7636ad0c33ac2a4fc888cc042b2421c1e3a7f9c","datavalue":{"value":{"amount":"+0.7079805731773376","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":"Q1896760$8F032E40-3479-462E-BBED-D3A5645C1213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b307642c49d1e289a1f28efdd5ce9f0ee94d3c9b","datavalue":{"value":{"entity-type":"item","numeric-id":4645226,"id":"Q4645226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780f935ef1fb855088db94d3420f3919b2646761","datavalue":{"value":{"amount":"+0.7055097222328186","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":"Q1896760$42F57346-9741-4C2A-8AE8-9CB4D2BCA227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183c065774ed4f887eb1236a580d30e20acf7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":3120209,"id":"Q3120209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f990a7eeb1cf759441332727a6b9bf39ee293719","datavalue":{"value":{"amount":"+0.7032328844070435","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":"Q1896760$C3C148FE-F84B-483A-99F1-29008C21CC11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximal weakly-intuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximal_weakly-intuitionistic_logics"}}}}}