{"entities":{"Q694491":{"pageid":696340,"ns":120,"title":"Item:Q694491","lastrevid":63575895,"modified":"2026-04-11T14:06:26Z","type":"item","id":"Q694491","labels":{"en":{"language":"en","value":"Natural deduction for dual-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115285"}},"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":"Q694491$D0C2967E-D735-4DC0-B1E7-1E4E73714208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57076a27cef35ab01bae532114a3e3bdaae8fa85","datavalue":{"value":{"text":"Natural deduction for dual-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694491$E900C4E6-ADCF-4B7B-AA05-9CAB2A492620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c805972cd976182b105931e09c0338deb88e7201","datavalue":{"value":"1266.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694491$7B6ED44C-61F0-4043-9803-FF2195F59F1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$97B3013E-B717-4DA2-AFD9-4C28C19774B7","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":"Q694491$33A55CFA-8350-458C-B4FB-233EDB5DF979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ca3597a30d0554ae70c4388158b4b0790e69f13","datavalue":{"value":{"time":"+2012-12-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":"Q694491$C05CC1F1-80EF-46DC-91EE-82ED30AB574F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb00624b8a73232369a79af70062595aaced3e33","datavalue":{"value":"The paper is dedicated to studying the dual-intuitionistic logic. The natural deduction system NDJ, which is a dual counterpart of the Gentzen system NJ, is constructed. The duality is proven in Theorem 3.2. It is also observed in Theorem 2.3 that NDJ is equivalent to the system LDJ, introduced by \\textit{I. Urbas} [Notre Dame J. Formal Logic 37, No. 3, 440--451 (1996; Zbl 0869.03008)]. It is also observed that NDJ enjoys the dual deduction theorem. In Section 4, the duality between NDJ and NJ is extended to the systems NDK and NK.","type":"string"},"datatype":"string"},"type":"statement","id":"Q694491$FAF4F867-C0AA-414C-91FD-61DA4BBF6472","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$33EE3866-C3B7-4171-A069-89224ED46939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694491$69F28FB8-4B70-43C1-8CD9-A6B1B667B45A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab0418de4efc78d1028b475328cca33141686f8","datavalue":{"value":"6115285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694491$4C61DD35-D768-49FD-942B-308C5D3E1472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f4a446d3ce2f32d431dc1abf84c06c34b786466","datavalue":{"value":"dual-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q694491$23982052-6202-476F-BB53-A952BC33F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q694491$2F91D4E9-A060-4A02-A6B5-38627391C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e81952c7ad4cfb47a68dfdb67a5c3ab382ffeb7","datavalue":{"value":"multiple conclusion rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q694491$FD3482B5-595C-4FFD-ABF5-862D116343A7","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":"Q694491$15A34A74-D7AE-4308-BA74-EB4FAE81D6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8707ec9e26ab58e1b273aab77db7a6658a3b83a","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9417-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q694491$C9404609-12A3-4487-BF1F-E2B5FADAC588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89a190425178c130f2a52ae39fac799125d43965","datavalue":{"value":"W1982413486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694491$F51EF633-349E-4FA1-A5F7-F7136E2442D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$400B922F-1B32-490A-8FE2-CBF42F6F5029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ac3680f722b3c4628bd0a6474880604d12b94","datavalue":{"value":{"entity-type":"item","numeric-id":3919679,"id":"Q3919679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$F1B3211C-A6C1-408C-A7E5-4BC3FC0D7981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$5B789204-3A08-4F79-9EC1-6420A63453D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479960e0019e831d800b55b00ce6347a5e2a767f","datavalue":{"value":{"entity-type":"item","numeric-id":4434506,"id":"Q4434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$0522E532-8EB7-4515-AE9B-74ED3C141384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$CA29F288-0428-49C1-8884-62BCF3DA74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$C099EA27-2DBE-49F9-BB8F-091E2755380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$77136416-A001-484A-8516-B19823D77417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$4C959B61-796E-4BBB-9558-462D0D2F87C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$FC2FC4F8-2275-4927-975E-DF78BBA5DA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$C1B23093-D635-4D60-BA50-4B7CF23647FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd9f24447d0c28e275331f7b7b84d57dc2a1c78","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$59050FE7-623F-4152-ADEC-590D1F5DD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$43CD9C8B-2B00-4CF5-A99E-A24CAF3D28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$72C2E626-9D56-46ED-8E32-CC052A18D5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694491$C47E4E1B-D40C-4525-9A5F-45CE9DEA80C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4c9b99169fc3226996e468c704785509502b98f","datavalue":{"value":"10.1007/S11225-012-9417-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694491$EFE844B7-4F44-4407-BC59-DC4B404C92C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b4c20674077f492553a9f77a6370e4be3eb2b3","datavalue":{"value":{"amount":"+0.871953010559082","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":"Q694491$6B85D3AE-79E3-463C-9F0F-4D9FA88275EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097f91ef0bc1d14b8fd01897291c2b8405f503d0","datavalue":{"value":{"amount":"+0.8013139367103577","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":"Q694491$6446CE41-6582-4E50-9533-5D7E91BB1256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ec39561a84fc7d1a30a765d3dcf03378c44d09","datavalue":{"value":{"entity-type":"item","numeric-id":1653550,"id":"Q1653550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8ed488a2238ccc72634d8b41b452e95a1c651b","datavalue":{"value":{"amount":"+0.7996134757995605","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":"Q694491$FE7DDE5A-8327-4A35-B221-0FF28F5B5683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be21e2ba7249f84a48b8650bf77a17a8e95b7498","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2180ec57f8eedba4cc37a138302aeb9a602f4a25","datavalue":{"value":{"amount":"+0.7937287092208862","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":"Q694491$00F8B1D8-78B7-406B-A0E4-73D213A2F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8d541e8dfeb6ed91fe0e8e0403ccd4602ad393","datavalue":{"value":{"entity-type":"item","numeric-id":4434506,"id":"Q4434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f246a8c76032882773d75a29ccbe89f165b63786","datavalue":{"value":{"amount":"+0.7761500477790833","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":"Q694491$E38F661F-0F32-483D-9BA6-00E99E558EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for dual-intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_dual-intuitionistic_logic"}}}}}