{"entities":{"Q1111536":{"pageid":1122285,"ns":120,"title":"Item:Q1111536","lastrevid":69668682,"modified":"2026-04-13T08:35:08Z","type":"item","id":"Q1111536","labels":{"en":{"language":"en","value":"Nonstandard connectives of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075017"}},"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":"Q1111536$6A3479AA-F753-4A75-A4B6-E699FA306163","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af4421e56270ed19fba6e37a516b4bb29c2fff13","datavalue":{"value":{"text":"Nonstandard connectives of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111536$63C08906-41BD-4FB4-A0E6-334B872149FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5896b5abe8d3eefe3eb03b690fa65bcb2e5b8e3b","datavalue":{"value":"0658.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111536$A4B21160-686A-470E-BCC3-BE251B349A58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111536$9F8318FE-4150-4485-B246-E8A2B626C96F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111536$C619B6FD-935C-4F31-9A55-2721397494DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111536$E7891978-9636-4FFB-955C-B22A0E617462","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f15c9d21841fb54146ae79e071f383308340bb7","datavalue":{"value":"This article is organized as follows: In Section 1 the author proposes the question: ``What is an intuitionistic propositional connective?'', and defines a new n-ary connective ``{\\#}'' which is said to be extensional (or weakly extensional).    In Section 2 he introduces a new unary connective ``\\(\\circ ''\\) and its related axioms. He extends also the ordinary intuitionistic propositional calculus I to the logical system \\(I^{\\circ}\\) with connective \\(\\circ\\). The extended system has a Gentzen system with the subformula property and cut-free deductions.    In Section 3 he explains a possibility of introducing new connectives by their interpretation in Kripke models. He proves that for any n-ary connective {\\#} there exists a formula \\(\\psi (A_ 1,...,A_ n)\\) with ordinary connectives only, such that \\(I\\vdash \\psi (A_ 1,...,A_ n)\\) implies \\(I^{\\#}\\vdash \\#(A_ 1,...,A_ n)\\), and \\(I^{\\#}\\vdash \\#(A_ 1,...,A_ n)\\) implies \\(I\\vdash \\neg \\neg \\psi (A_ 1,...,A_ n).\\)    In Section 4 he considers some extension \\(I^{\\#}\\) of I such that {\\#} can be described by rules of inference in a Gentzen system. Under natural and not strong restrictions on rules of inference he proves that \\(I^{\\#}\\) can be interpreted either in \\(I^{\\circ}\\) or in propositional intuitionistic modal logic S4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111536$D93825AC-2877-4AA3-8CB2-1CF8C3019B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111536$5045B524-BBE6-4B9F-B532-43CC49F64445","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efe1a06d4f0be4b03e6a02dc9f4f65bcab7d9ed9","datavalue":{"value":"4075017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111536$DCE0E8D6-D406-4F9F-A932-5D70FAEF7261","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dde5cfb93357cd0f98778645d70bb0bc3ef9436","datavalue":{"value":"intuitionistic propositional connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111536$69037D0B-FE9D-4461-9CA3-975DD600DAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111536$EDA81328-BF85-4F99-9221-3A494FD14536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111536$2FF9484E-F0E5-4BCD-A644-EE4FEDDFE0DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111536$3FF46F95-0587-41B2-86D2-C04D93EA1ABC","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":"Q1111536$174CBAA5-5BC2-43F5-AE1E-F42267A6DE4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a62e647e78030af789439100fb84c308b41776","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637931","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111536$F705F23F-9195-4594-AEBB-A165BCA6E962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02d1e1b42430fbea01e5c7f4ac6af8185b0292fe","datavalue":{"value":"W1964474114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111536$D5060018-AB41-450C-88C8-A3A928082550","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80387c6be8d8f7e379990e02c1ec7b241145d163","datavalue":{"value":"10.1305/NDJFL/1093637931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111536$3211BF1D-EB89-48A2-93A0-EF4A9A1FD7F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dbc34bd0d20fa39ec1654342aed54ef110190a","datavalue":{"value":{"amount":"+0.8644678592681885","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":"Q1111536$FEE427A9-2C67-4F5F-BA40-26F213BEF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3e6a3e532e61086ff137c201f5872a15862ac1","datavalue":{"value":{"entity-type":"item","numeric-id":4724624,"id":"Q4724624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4be99af10c36fa638beeaa7ec295e188bdc6366","datavalue":{"value":{"amount":"+0.8492764830589294","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":"Q1111536$E1BC65F3-B1FF-4564-82A1-21A32C799B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecb93a9041830b24eb013901021cfe178b9482a","datavalue":{"value":{"amount":"+0.8273804187774658","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":"Q1111536$5F4DEE38-D6C3-42C0-B9D7-FCE497EC8C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866519116130d78fafa38a0400bd4a30ca13d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6c2749a2030c2c61766902731b0eb76c469d00","datavalue":{"value":{"amount":"+0.8220720291137695","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":"Q1111536$C909DF5D-AEF6-4D0B-B242-1E60CE8EF19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319c87f1220779afa76f224ce6247716062f3069","datavalue":{"value":{"entity-type":"item","numeric-id":5283966,"id":"Q5283966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6842a868e60093afbb29df2b0c8e9e3aa741e205","datavalue":{"value":{"amount":"+0.8196304440498352","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":"Q1111536$0BFA1947-5C31-49A3-A1CB-6327C4FEE3E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonstandard connectives of intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonstandard_connectives_of_intuitionistic_propositional_logic"}}}}}