{"entities":{"Q2732279":{"pageid":2743018,"ns":120,"title":"Item:Q2732279","lastrevid":47645473,"modified":"2026-01-02T07:27:51Z","type":"item","id":"Q2732279","labels":{"en":{"language":"en","value":"On the admissible rules of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623522"}},"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":"Q2732279$9F5C76FE-8DF3-4208-81C5-6D9E62C974A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"828816a6d1d19b6452b9182040160f1befde4a5b","datavalue":{"value":{"text":"On the admissible rules of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732279$7485BBA5-9F6A-4B16-A4CC-933F20C2B9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c73327cd14f4610b6ff652743555d59158b675","datavalue":{"value":"0986.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732279$B36E4C9B-BDBE-43C7-AC56-6AEB37B57923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88bfd5f4965905da09f962a9e3fd901b8927854e","datavalue":{"value":"10.2307/2694922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732279$951081E2-C80C-4526-9FF9-A9BA9375CF66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732279$146F0664-8F96-4290-9DD8-64BF7C3622BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732279$0D7431F8-0DF5-494E-B51E-C46BE234DECC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0924cad2d4bc4f70189972da15782794b2f78a8","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26939","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732279$A0830166-27D2-4D74-8A63-1CB14425B29C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732279$E449672C-1E5F-4D3C-939E-6EE89EBC4562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191a1ec350d530cff6132e73ea22b0510dc74200","datavalue":{"value":"1623522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732279$7145558E-8869-419D-AA55-5904167FF0D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732279$8843D50B-F7FB-4CB8-8808-93816C3F0D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732279$0439E9A3-5653-4F24-8856-102097DAA406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732279$57350BFB-6EB5-4EFC-876D-763D9C2EB046","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":"Q2732279$1CF6CDC0-6213-45E2-9B8F-3E4186378104","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a78be470aa6ee5575da518b575d68068fd2736fe","datavalue":{"value":"W2023712626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732279$3ED8FA34-B81A-4BCA-A7EC-0258BE05C667","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732279$EFF7EDBA-CB0D-488A-BE07-5C3FEBB1C3D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732279$9948F3F5-68E6-4F6A-B880-333318835A50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b035ec1ecfc9b43a8ade0ecc750c3ea27b79c147","datavalue":{"value":"For \\(A\\), \\(B\\) propositional formulas, \\(A|\\mskip-6mu\\sim B\\) means that for each substitution \\(\\sigma\\), \\(\\sigma(A)\\) intuitionistically valid implies \\(\\sigma(B)\\) intuitionistically valid. The author introduces the expression \\(A\\vartriangleright B\\) for propositional formulas \\(A\\), \\(B\\), and defines the following system of derivations for such expressions:NEWLINENEWLINENEWLINEAxiom schemes:NEWLINENEWLINE\\hskip 17mm \\((A\\to r\\vee s)\\vee t\\vartriangleright(A\\to r)\\vee (A\\to s)\\vee (A\\to p_1)\\vee\\cdots\\vee\\)NEWLINENEWLINE\\hskip 17mm\\qquad \\(\\vee(A\\to p_n)\\vee t\\) for \\(A= \\bigwedge^n_{i=1} (p_i\\to q_i)\\),NEWLINENEWLINE\\hskip 17mm \\(A\\vartriangleright B\\quad\\) where \\((A\\to B)\\) is intuitionistically vaild.NEWLINENEWLINENEWLINERules:NEWLINENEWLINE\\hskip 17mm \\({C\\vartriangleright A, C\\vartriangleright B\\over C\\vartriangleright A\\wedge B},\\quad {A\\vartriangleright B, B\\vartriangleright C\\over A\\vartriangleright C}\\).NEWLINENEWLINENEWLINEA Kripke model is called AR-model, if for every finite set \\(\\{u_1,\\dots, u_n\\}\\) of nodes, there is a node \\(u\\) such that NEWLINE\\[NEWLINEu\\preceq u_1,\\dots, u_n\\wedge\\forall u'\\succ u\\;(u_i\\preceq u'\\text{ for some }i\\in \\{1,\\dots, n\\}).NEWLINE\\]NEWLINE It is shown that the following are equivalent:NEWLINENEWLINENEWLINEa) \\(A|\\mskip-6mu\\sim B\\).NEWLINENEWLINENEWLINEb) \\(A\\vartriangleright B\\) is derivable.NEWLINENEWLINENEWLINEc) In every AR-model, \\(A\\) valid implies \\(B\\) valid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732279$4EB9E25C-1284-4572-B86D-C32520E0EEF7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b41e5f7ea0ddf008e18157715fbe05e096bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732279$C2D9D6AF-4C70-43C8-8DA5-874D963DDBBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33adef9a29aa5d470c0392884899028de18245bc","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870f32cf356eca4b28fe0056d853968e1f3798f8","datavalue":{"value":{"amount":"+0.8381533026695251","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":"Q2732279$6E9C110C-7D23-4760-A716-52FA21F22964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a36bed2ac7eaa76cac9ecac330a8508401e70c","datavalue":{"value":{"amount":"+0.8288425207138062","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":"Q2732279$A6A421BD-B2C3-4A41-8946-4AFE4FEA9386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f977d5881a8761622798d9475a9fe0b8c1378b","datavalue":{"value":{"entity-type":"item","numeric-id":3970454,"id":"Q3970454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80f6e33cadfa351f73234e62fa95376e6f6988","datavalue":{"value":{"amount":"+0.8278716802597046","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":"Q2732279$555E1E8D-DC2C-43BA-A127-0FE6C7AC6486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7310b06a39478a3b0b2cb3618454bb24070b5c93","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48cf7d784a1ec96639021ee189b6829c31e68705","datavalue":{"value":{"amount":"+0.8262813687324524","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":"Q2732279$ECC07B68-338D-440F-AB7F-DE42E02ABEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1650acc6b6daaa19c02525026601a31b36dc45","datavalue":{"value":{"entity-type":"item","numeric-id":3970453,"id":"Q3970453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9bfcb9787d33f1a13628cd4747de357e166665","datavalue":{"value":{"amount":"+0.8154913783073425","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":"Q2732279$B15D66D3-DEE9-4B63-B26A-6B1B2E884526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732279"}}}}}