{"entities":{"Q1386683":{"pageid":1397423,"ns":120,"title":"Item:Q1386683","lastrevid":68597940,"modified":"2026-04-13T00:49:34Z","type":"item","id":"Q1386683","labels":{"en":{"language":"en","value":"On extensions of intermediate logics by strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156517"}},"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":"Q1386683$03DD7B9F-E4A7-495B-9617-6B7C3E5B4C36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee1c3e931a88d4e9973bdba40341d220383fd17","datavalue":{"value":{"text":"On extensions of intermediate logics by strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386683$52916BCA-7742-4A50-8C91-F888A3D61946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2df80f9e84d83cc526410d5eaf37270c9a6cac9b","datavalue":{"value":"0929.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$721572A4-3250-4E0F-8FAA-22773920A150","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a355b72be84e2b1080bc81ecb58ec3bb5519a4cb","datavalue":{"value":"10.1023/A:1004222213212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$7EB72B10-BA0A-4660-97DB-5A2A447E46F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$BF9F5AFE-D5F3-4BBC-9111-79A0CA238889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$3B01218E-92B4-4101-92BF-C663351E4FC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386683$2F134B28-952E-4956-ADB9-C02BC9B3E1CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d9ed0f5886257437a286c86f0eb0b50f64b81b1","datavalue":{"value":"The structure \\({\\mathcal E} {\\mathbf N}\\) of extensions of Nelson logic \\(N\\) (intuitionistic logic with strong negation) and its correlations with the structure \\({\\mathcal E} {\\mathbf {Int}}\\) of intermediate logics is studied. The mapping from \\(\\Lambda\\) to \\(n( \\Lambda) = N + \\Lambda \\) is an embedding of the complete lattice \\({\\mathcal E} {\\mathbf {Int}}\\) into \\({\\mathcal E} {\\mathbf N}\\), preserving and reflecting finite model property, tabularity, completeness, frame-compactness, interpolation and decidability; moreover, \\(n( \\Lambda)\\) is a conservative extension of \\(\\Lambda\\). The family of inference rules is described which are admissible exactly in all logics of the form \\(n ( \\Lambda)\\). Finally, the structure of extensions of \\(n( {\\mathbf {LC}})\\) is described; all these extensions are finitely axiomatizable, decidable and have the fmp. The key instrument is the construction of Nelson algebras (algebras for the logic \\(N\\)) of a special kind -- so-called twist algebras, corresponding to Heyting algebras, and representing every Nelson algebra as a subalgebra of a twist algebra.    Reviewer's remark. Some passages in the paper are slightly inaccurate. E.g., the condition \\(\\forall x \\forall y [( x \\leftrightarrow y) = ( \\tilde x \\leftrightarrow \\tilde y) = 1 \\Rightarrow ( x = y) ]\\) does not follow from the given definition of Nelson algebra. The proof of preserving frame-compactness contains a minor gap; namely, the formula \\(\\gamma _{v( \\phi)} \\wedge \\widehat { \\phi }\\) should be used instead of \\(\\gamma _{v( \\phi)} \\to \\widehat { \\phi }\\) . And the description of extensions of \\(n( {\\mathbf {LC} })\\) needs the following additional lemma: Every subdirectly irreducible Nelson algebra is embeddable into a twist algebra of a subdirectly irreducible Heyting algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$95389441-F88E-4A70-8056-558F9F90D6B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$1AC6B805-AB79-4106-9726-B013ED79F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$208D238F-F886-4EF4-94CD-DCD401A2DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$4B1A9E3B-653D-497F-B5DD-A1E27CC82539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ebd38456df23d381ae16d9fe3c8889ad1188bfc","datavalue":{"value":"1156517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386683$BEE59038-91BF-48BA-95E7-D0CDF66141C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$03945A8F-A1C6-4D43-8EC6-66A6FBE96740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$6FBD4896-FA14-422B-9A5B-D230FA72DEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a2b8bd893c7a12d48d859c67fe63328392e9f","datavalue":{"value":"Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$FA1B42C8-6750-4261-89D5-CD3C8FA17F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1b7d16f39aa5fce855f0d77e1f3227e83985b6","datavalue":{"value":"extensions of Nelson logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$19081164-205A-481B-8F5A-0016BCD6F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d785009168ee246a9c3a663c86cd865abefaead9","datavalue":{"value":"twist algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386683$15B3E2E8-24A4-4404-A6F0-3D6E5156DFCF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb839efe94641093a233cdcf9035916be7697d4d","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$FF4870A3-B404-4817-B682-BD10488E10E4","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":"Q1386683$E4A9F006-1D91-4F57-B255-D1ECDF6B4726","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$FA1C89BD-9C98-423F-8109-1A9E370EC98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$75B74904-5115-433E-AC41-EA1DED046C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d8a909c7cc49fcd9da54bc01d1177304e0710f","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$F343DCFB-9556-465D-B1F8-6A9AB9C2C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4878bebf795cd3ede50d9cc5a9de376c82621808","datavalue":{"value":{"entity-type":"item","numeric-id":4244294,"id":"Q4244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$F078C389-DA6E-49E3-AFA9-301DDBDA97E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$45AA5AF1-6503-4C9F-9C8B-B3D197B8AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$60C96518-AB72-448F-B5F2-4B92A72C3956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf81ce9053e1ce50176bdc6cf3139eed90f60ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$077ADE9A-A183-42DC-B135-2A9DE7F96D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$13D55341-218D-4D17-B070-1FA1C8D21183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$8CA1E7D2-EAD5-436F-A189-CC089D241094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee89b1d248ab0a9ffca8afbb023ffa30b73aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1071022,"id":"Q1071022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$007D8789-7F4B-4618-8A6F-EFD7C3BA153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf55e1f00d3d76691437c7e167ee75bb03b5819","datavalue":{"value":{"entity-type":"item","numeric-id":750474,"id":"Q750474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$642D3DCC-E0B1-43E7-AE8D-3A3CC2C8020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b941c4d37cd090dea47dd6d43dcfb4f1c68c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1908857,"id":"Q1908857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$4EA753E2-C711-44E8-8060-88A4ACC9D669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386683$6F1BBF05-C985-4610-B5E3-601C22C949E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b93d4240363490331dd34fc872b42fc7bb72b","datavalue":{"value":{"entity-type":"item","numeric-id":3710513,"id":"Q3710513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5848e7220433c69925220f25cc47e2912fb5040","datavalue":{"value":{"amount":"+0.9251764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$72605530-3A8E-4951-92F7-DAFF44E115DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b687e543e3501d881a6a75fe38d84fda37e24d","datavalue":{"value":{"entity-type":"item","numeric-id":1908857,"id":"Q1908857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b36b0e48c051ae7acb88f35e688af12a849b1b","datavalue":{"value":{"amount":"+0.9191202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$84868FA2-5715-437E-B104-700C8B936EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23940f1a7ec127cf3a395a2fbfaa9119f82b897d","datavalue":{"value":{"amount":"+0.9162278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$56A08AE1-394E-40BC-AD54-787E3DA27223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa620b69ad77f27604fbf363650c08937b130735","datavalue":{"value":{"amount":"+0.90847254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$D58F9C7C-446D-4040-ACF9-633B16A1C65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9b20dbe48a1b4ab10dbf32acc6f7d81af1910f","datavalue":{"value":{"amount":"+0.90392786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$7A65E8D7-5C79-4090-9DC8-3BFDBE292182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4ff185231e356ac82dbb0da6ddda3c3491ac43","datavalue":{"value":{"amount":"+0.9022449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$B8D94C49-4AFC-4CCC-B9E0-7D0529818D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194c981196218ac8eaecf19d7b9a148909eaec0","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6730e489042d3740df666ed316f0285ea8d1ecc9","datavalue":{"value":{"amount":"+0.90101564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$15D2BE97-70E7-42B4-B492-0E8F4CC32912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec608f1395f453ab42e3ee331fd8fe09acb1705c","datavalue":{"value":{"entity-type":"item","numeric-id":4726226,"id":"Q4726226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae036a49e07117a5f7257f345e86b1ae5ceb04c6","datavalue":{"value":{"amount":"+0.9004015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$2EFD78B7-F5C8-4D69-AB2D-F55B77DCBB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffc64f7651d517e77f3085a241894fa9ac9238b","datavalue":{"value":{"entity-type":"item","numeric-id":5404158,"id":"Q5404158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31c717df584b96d0f58e33b940615dfa187247b","datavalue":{"value":{"amount":"+0.89659685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386683$BEE329F6-365D-407D-A80B-4C44C999F411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extensions of intermediate logics by strong negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extensions_of_intermediate_logics_by_strong_negation"}}}}}