{"entities":{"Q2479743":{"pageid":2490486,"ns":120,"title":"Item:Q2479743","lastrevid":44172114,"modified":"2025-11-20T13:52:52Z","type":"item","id":"Q2479743","labels":{"en":{"language":"en","value":"A syntactical study of the subminimal logic with Nelson negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256943"}},"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":"Q2479743$148DAEF0-EE30-42C3-B1A3-5CDA47EDBEF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3a1c3475b0c2fa3169bc53a91bb5e1e5fe0c11","datavalue":{"value":{"text":"A syntactical study of the subminimal logic with Nelson negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2479743$83985FAB-C5BB-46B5-AED4-8C14CDB4F757","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c15b4b6db696bf49ce4eb632da07f601463d11","datavalue":{"value":"1143.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479743$5ADE83F2-8610-4D93-965A-9D03AB3525C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479743$4DB0F645-3A2C-4576-A52F-984804EB2FDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a550d8ac0fd1ac23be3a86dcd027d3648e93751","datavalue":{"value":{"entity-type":"item","numeric-id":266994,"id":"Q266994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479743$45BCE79D-C86E-4406-838F-0D67D520D822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75beb6032318b2d8517c0143c6afc0207210466c","datavalue":{"value":{"time":"+2008-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2479743$E940D660-D16F-490E-8742-73398E6ACF24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f30266882f0b77c62447c1f81e39c688cd00f2d8","datavalue":{"value":"The subminimal logic, SUBMIN-N, is a propositional calculus with two negations, \\(\\neg\\) and (Nelson negation) \\(\\sim\\). It was investigated by \\textit{D. Vakarelov} [Stud. Log. 80, No. 2--3, 393--430 (2005; Zbl 1086.03026)] with the goal of weakening the intuitionistic negation as much as possible. On the other hand, \\(\\sim\\) is strong. Indeed \\(\\sim\\sim\\!A\\) and \\(\\sim\\!\\neg A\\) are both equivalent to \\(A\\).   Vakarelov's method is model-theoretic, whereas the author carries out a proof-theoretic investigation in this paper. A sequent calculus for SUBMIN-N is formulated, and, of course, the cut-elimination theorem is proved. From it follow, as usual, interpolation theorems and the disjunction property. Howeyer, SUBMIN-N lacks the following three properties -- ``counter-intuitively'' one might say: \\((\\neg)\\) there is a provable formula of the form \\(\\neg A\\), \\((\\supset)\\) if \\(A\\supset B\\) is provable and \\(A\\) and \\(B\\) have no common propositional letter, then either \\(\\neg A\\) or \\(B\\) is provable, and (N) the calculus is normalizable, i.e., it is finitely axiomatizable by schemes in such a way that each axiom has, besides \\(\\supset\\), at most one connective.  The author extends the calculus by adding a new axiom \\(\\neg\\neg T\\) or \\(\\neg T\\supset A\\) or both, obtaining MIN-N, CO-MIN-N and INT-N, respectively. Again, cut-elimination etc. are proved. As to the above three properties, INT-N has them all, MIN-N lacks (N) but has the other two, and CO-MIN-N has none of them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479743$4264BB5F-99AA-4918-825D-3C9CAB322D5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479743$D81E5770-360C-454D-9CF7-6C1A0CF1B865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479743$1615A6DF-FA03-4D16-BF87-979C5A408DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c800996c9d5a7565586f7807efd74a28ee7325","datavalue":{"value":"5256943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479743$5A8D62B5-3AF1-4CC0-9736-82DED6C27591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96074187fac33084d70bf07785396689d4d64b7","datavalue":{"value":"subminimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479743$88D10374-18D3-4828-9BC8-66B0B6F305A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80b5e0f59d0021284ab2a93df9dbd8ecdac4a0a","datavalue":{"value":"Nelson negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479743$E2A36815-C228-4DA4-A3ED-FDC1E7D170ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54280345115adbdc401c41f58c6ac5a619c81b7a","datavalue":{"value":"normalizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479743$04A33B29-89DB-4D5B-B2A7-0083A0995E3F","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":"Q2479743$1D11624C-B227-4F5D-A033-C34D336C8788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612b83c80d2bca40cf7327cd390ca8bae723a3fc","datavalue":{"value":{"entity-type":"item","numeric-id":831220,"id":"Q831220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd13d3e4bd325540498b1f7ab832cabedf0b9f6","datavalue":{"value":{"amount":"+0.82896346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$B6E563D6-958F-4A4D-9A7C-768D6A1B92DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b737db9ec449cf8a131dbbeb7ce342ea181a2917","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388959f0eb0063858b79fb7ab6c8bdcc2fdd1cc4","datavalue":{"value":{"amount":"+0.81322485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$D99A2F31-4427-4B3D-8C9D-FC0CAEC00288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de711a161494d8d2839536efaed15ffa9d791085","datavalue":{"value":{"entity-type":"item","numeric-id":3335778,"id":"Q3335778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821d0fb21a9ecfd53592c11de77d00dc2a8f2eba","datavalue":{"value":{"amount":"+0.7811943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$B9CB9569-F00C-4838-A1F2-BCBB508D1788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab62cfbc8cabbb98484024ff447ca03a05a21a56","datavalue":{"value":{"entity-type":"item","numeric-id":3632251,"id":"Q3632251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658b96ec096dcf5f4f5b5b1f3759fbd03cc0d6f7","datavalue":{"value":{"amount":"+0.77957743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$706FBDDB-5BE5-478A-9E5F-2C81EE3EF52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52edf7774a67c2abb0abe2989f27a790a92770","datavalue":{"value":{"entity-type":"item","numeric-id":5234710,"id":"Q5234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fb1b7fb45ebfb6a0473402b0b4aaf83503d6fd","datavalue":{"value":{"amount":"+0.778488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$B5758BEC-116C-42C8-B255-7DD79BDAFA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b79a7952bd5d18bc6e19f2edb0e9ef7ec107f8","datavalue":{"value":{"entity-type":"item","numeric-id":2751817,"id":"Q2751817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5680fb34985349a6d15005f40e08a9d707f6a17c","datavalue":{"value":{"amount":"+0.7704292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$4BD1A46D-58A9-4D25-B530-F7A21A4DAFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fa58a009ac8003282c735714f21bc1b4372829","datavalue":{"value":{"entity-type":"item","numeric-id":6084522,"id":"Q6084522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a19a0081c92b87bdc29f26a4fb0e469a5a47bd","datavalue":{"value":{"amount":"+0.76885265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$82C87D3B-25D5-4785-A855-9449B33D0A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1378d82b9d4f924f0dc7e9dc903433820c2f12ca","datavalue":{"value":{"entity-type":"item","numeric-id":4821866,"id":"Q4821866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1ecfef9a2418344f164b0e6c0445d08bac0900","datavalue":{"value":{"amount":"+0.7617362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$A9EB6F97-EFBF-44FF-B9A2-F17DADE33561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bd71dd4e55db073174001e5d39b14cef17e495","datavalue":{"value":{"entity-type":"item","numeric-id":5692906,"id":"Q5692906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7ebd241d2b4822b10245ec41328d6f0d127877","datavalue":{"value":{"amount":"+0.75966567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2479743$CE001038-49CC-49F8-9874-2EFD67A6733D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2479743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2479743"}}}}}