{"entities":{"Q558441":{"pageid":560208,"ns":120,"title":"Item:Q558441","lastrevid":62791566,"modified":"2026-04-11T08:28:32Z","type":"item","id":"Q558441","labels":{"en":{"language":"en","value":"Intermediate logics and Visser's rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186751"}},"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":"Q558441$EF99985B-BE26-49FA-A82F-7D795775D272","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64a5038db77a5be4febc2feb2af52d09f0528233","datavalue":{"value":{"text":"Intermediate logics and Visser's rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558441$4D462EE6-B8F4-4911-AE82-067EBC59D4EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"870dfbd73b53d57169f930da62f68ec32775f0df","datavalue":{"value":"1102.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$C420A4E1-4223-4D46-9078-B6C5CA42EF23","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":"Q558441$AEAC8CFB-EB81-40C8-891A-6B716926814F","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":"Q558441$38A9A3B1-A68C-41CD-AFE9-00ACDA048F36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-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":"Q558441$F89A7558-34AE-453F-A97C-103C164F11D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2e254852f229a94f4c2de2df9e121cd3fb39349","datavalue":{"value":"A set \\(R\\) of admissible rules forms a basis of admissible rules for a logic \\(L\\) if all the admissible rules of \\(L\\) can be derived from \\(R\\). It was proved by the author [J. Symb. Log. 66, 281--294 (2001; Zbl 0986.03013)] that the so-called Visser's rules form a basis of admissible rules for the intuitionistic propositional calculus \\textbf{IPC}. This paper discusses bases of admissible rules for other intermediate logics.   The paper shows that if all Visser's rules are admissible for an intermediate logic \\(L\\), then Visser's rules form a basis for \\(L\\). This implies that if all Visser's rules are derivable in \\(L\\), then all the admissible rules of \\(L\\) are derivable. As a result, the author obtains that the Dummett logic \\textbf{LC} of linear Kripke frames does not have non-derivable admissible rules.   The paper also gives a criterion for admissibility of Visser's rules. Namely, it is shown that Visser's rules are admissible (and therefore, by the result mentioned above, form a basis) for an intermediate logic \\(L\\) iff \\(L\\) has the offspring property (which is a special kind of an extension property).  As a corollary, the author derives that Visser's rules are admissible for the intermediate logic \\textbf{KC} of all directed Kripke frames, and that there exist logics with the disjunction property for which not all Visser's rules are admissible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q558441$C687C0BF-AC06-4DEA-A5C2-CBD288144B20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92c4f981aadc914f96d132d85a17d7a2385b5878","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$9AA5591C-2253-41D5-8F57-607DB87652C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$CA60EF97-99CE-4144-AF23-4A1ED43999BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$64188198-4FF1-47F5-A87A-F38B88F57970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7820ab7cc8db90b9bf72f44b4b641e698ba7c3fc","datavalue":{"value":"2186751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$915B663A-C0D8-48E9-AA90-1D10D1283A12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558441$B824DEEC-B482-454F-8BA2-5CB2C43222CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2110fd4f04a0c05cffbde73db7f7b2d014c5af5a","datavalue":{"value":"basis of admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q558441$8C78BCD7-18CF-4313-8E22-9448059C6463","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":"Q558441$28372917-6C2D-4711-9E58-86211482D24F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fb9a9a133be8a9b3a34201a5bcbd6f59569b24e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1107220674","type":"string"},"datatype":"url"},"type":"statement","id":"Q558441$C2A02810-5BA6-405A-A092-ACC09A584284","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68c14eb862f061e3f4d66b30ed02bc83d6f452c3","datavalue":{"value":"W1982890778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$89EE84AA-AABA-45C2-A49E-04D4345C3BF1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e13b24e427a90afb93b50fcecd5bf42835de103","datavalue":{"value":"Q56474449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$C3A2333C-BE3F-4BBE-8B34-67DA15603E18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$0018C613-306D-47DA-A1B6-F3F8FB811757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$539DF80C-C0C9-4707-AF9D-A2A18DA6F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$EEA5B2B1-DCF9-431F-8A06-E7B9B077EE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$81A6DAC7-4A61-42AE-85BF-C31C565365A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$C9C18CAF-2C0F-4BA0-B73E-5E5E560B9486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$4CC002B0-34D1-4F22-AD6D-0565A9AD3233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$BA315C72-2C6E-439D-BF85-D28DBA816EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$9F8F5937-0567-48A9-973F-093B96F2C721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f377fc5a4183c923431aca96f59c7e66969f8715","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$B9CE14D6-3CD4-4013-8DBE-23B2E9690941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e050a2beefe1e68ff899c461aebd3bc8543a39da","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$9D5342BE-FBA3-4DE2-BA3F-1C0EEE0C6A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558441$BF045288-4394-4C96-A6A2-AF89F2C91585","rank":"normal"},{"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":"Q558441$00A6156A-9E35-4D84-9337-47C14B00AF3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec6f8379e7f01f6eef011ffc92b8248298837860","datavalue":{"value":"10.1305/NDJFL/1107220674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558441$E3392FCB-5B46-4D62-ACB3-BC8A9F792CC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d75cdd2396e591d71b832270a4723dbedc859b0","datavalue":{"value":{"amount":"+0.84311634","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":"Q558441$ABD57EEB-7D8F-4B43-AA3F-2F722903DB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee0f26e85e2e2e5e7401f4e3f865e337e6c579","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d574d9dcf7652aed275e8d1b6e60f494c5dd0fa","datavalue":{"value":{"amount":"+0.81721437","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":"Q558441$43082498-9DE0-48C7-9DA9-8268F76B5277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e776ff48e52afdc855d34be81bb53f23a2b91326","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb7f540c086036028c2d9d8fb2e155a11babe28","datavalue":{"value":{"amount":"+0.79906243","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":"Q558441$1D80FD06-F70F-4205-A902-C05305D224D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ae10ab31c33c86c44d3e39670c848fc0799828","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298ae2956d3910c8c05a2f5505e406e465b6ccd1","datavalue":{"value":{"amount":"+0.7877544","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":"Q558441$8278CB18-8775-45D9-B58E-A9E5215948B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388abb6f2254d0ae8592b3923f491836cf863beb","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e8e490a34da9a99e6508f92b6b2de3c9d050d3","datavalue":{"value":{"amount":"+0.78506356","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":"Q558441$41A25A30-0A2B-4114-BDA5-4F90C3605A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3cb904d687b16a0db2ec854dc92d313c2c774a","datavalue":{"value":{"entity-type":"item","numeric-id":1782237,"id":"Q1782237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9646b8dd1f1357570ddb6b07f41b7cb2720fa9","datavalue":{"value":{"amount":"+0.78462344","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":"Q558441$C1399230-199B-404B-AE1F-54068C1F3EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fd68bf959172cc5ecca6fe2e17ae959fa74b28","datavalue":{"value":{"entity-type":"item","numeric-id":2746913,"id":"Q2746913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9b3f1a3b4bbf11cecb12d9efe62565d5403355","datavalue":{"value":{"amount":"+0.7775272","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":"Q558441$31042383-9373-437D-BE80-D56336CA7211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bb280d3c2c58a8472d5ca01a2caba1b99b3b5c","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139968304e92cd6e171337a9cace5af978d792f0","datavalue":{"value":{"amount":"+0.7637554","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":"Q558441$000EE984-0EBC-4C46-8A2F-060D1AC49D20","rank":"normal"},{"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":"a14fb504b2329f9293e47d14062a1ad1fd7f2367","datavalue":{"value":{"amount":"+0.7628522","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":"Q558441$D516A6E9-A329-48D9-AE15-E20E50D27260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f9775f7f7f049dc1c8df5068f5f43c93b3e800","datavalue":{"value":{"entity-type":"item","numeric-id":266650,"id":"Q266650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82dcd7e23e37ce1c41f64dcf3c41856b114fc5e7","datavalue":{"value":{"amount":"+0.7552492","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":"Q558441$4D6A6813-C767-4387-AF0E-1C617E0819D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intermediate logics and Visser's rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intermediate_logics_and_Visser%27s_rules"}}}}}