{"entities":{"Q1115420":{"pageid":1126169,"ns":120,"title":"Item:Q1115420","lastrevid":66764217,"modified":"2026-04-12T12:41:57Z","type":"item","id":"Q1115420","labels":{"en":{"language":"en","value":"A note on sequent calculi intermediate between LJ and LK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085622"}},"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":"Q1115420$10C3D8E5-C457-403D-AD9C-6E93D3B5EBCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d827cf06b567c2396e532ad27a7c92e0828eafa2","datavalue":{"value":{"text":"A note on sequent calculi intermediate between LJ and LK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115420$C82B744A-8223-435F-94B8-1A6FF7E8AC91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6f4c4f848c6c679caab428079178212888e42af","datavalue":{"value":"0664.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$BE231513-62A1-4D25-B572-0D6896A8BFCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0dd38a20e8fe6bc53a90478c60e83a6ea55dda","datavalue":{"value":"10.1007/BF00370289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$2A97F2FC-EF5C-458D-889C-900A83539874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$615090B1-CB3C-41A8-88F2-728B3B0853CF","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":"Q1115420$54F5B433-47CE-4361-80D3-7228BA21BDB1","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":"Q1115420$DC700F05-D959-451D-B7B5-F15CD080EA4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7286966a62c6b29a22007c53ec52805bfa3c4efc","datavalue":{"value":"We consider some subsystems of Gentzen's sequent calculus LK for classical first-order logic and find that for every first-order logic intermediate between the intuitionistic and the classical one, there exists a corresponding cut-free class of sequent derivations. An immediate consequence of such a consideration is that each decidable intermediate logic has a corresponding cut-free Gentzen-type formulation. This investigation together with the sequence-conclusion approach to natural deduction systems [see the author, J. Philos. Logic 14, 359-377 (1985; Zbl 0572.03033)] make it possible to get the normalizable natural deduction formulations of intermediate logics and provide also an opportunity to treat the problem of separability of intermediate logics [see \\textit{T. Hosoi}, J. Tsuda College 6, 23-38 (1974)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$F84377B6-CEF5-404D-86B2-C47FE1B69839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$E7D1AF60-3073-4747-83EA-858B487C1E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$43C04B65-6FFB-470B-923A-61FE0C00D9FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13d5a6291b916d92a6528bfd445428d00156e50","datavalue":{"value":"4085622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$3BD441E6-A85C-4824-8D7A-88FEE3A2D2A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1507eccdc818d3bf12981d79c60861d0ba79f7","datavalue":{"value":"subsystems of Gentzen's sequent calculus LK","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$2E4013C4-3B45-4DFA-AD12-23167EE1385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853bc7f337906a6ad0045dbe345a365cba3525ff","datavalue":{"value":"cut-free class of sequent derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$5BC82205-A6B9-4187-8613-95C7755AAEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702d7967dd643162495c936970e91a94235fc435","datavalue":{"value":"decidable intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$EC209EC2-CB8A-444C-837A-9DF64DE19A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fa95fa15ac5596dfa50518646ccb56738f8843","datavalue":{"value":"cut-free Gentzen-type formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$9844D581-56DF-4D5E-8CB2-08E6DE86C433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70fad57b78969657bbae78f0ff74b8e5e26fa8e3","datavalue":{"value":"normalizable natural deduction formulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$06567553-F459-4935-8691-DDEFB7E09024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115420$648FC5F2-E1EF-4CC6-847D-A629FC694F69","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":"Q1115420$5B45F76E-B631-44B9-B398-AF09C76498C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c3b2a5328c9779129164fc42a36268c5218ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1062053,"id":"Q1062053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$01DD50B9-4D82-438D-89EA-D340258E6CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7207be005a499c2509de8b48ff1384bda9529748","datavalue":{"value":{"entity-type":"item","numeric-id":1100191,"id":"Q1100191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$97AAA582-62DF-4772-A92D-D18F26DFB538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f33d5b7e753b07c679f619385f30a707cbaa531","datavalue":{"value":{"entity-type":"item","numeric-id":3922651,"id":"Q3922651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$F182739D-EEE9-4253-9188-D66F87ABF4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f86ab49274249705067fcebea78e035b81de63","datavalue":{"value":{"entity-type":"item","numeric-id":3338223,"id":"Q3338223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$AD3B379F-F723-4689-AD35-E72153AA903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$76721D17-5176-473B-81D4-C0509D40EFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$856166AE-81B0-4CF3-B559-F4B0C34D417B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$18D4EF8F-DCDE-4669-8F85-DF3BE1C6AC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b219ba863492022768abad5a30354cc8e2f59a","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$2C92A4F3-97E3-4CF2-8B49-0FBA4AFE10CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29123131ecc4c14d097cd28369f6ffeedd9e0046","datavalue":{"value":{"entity-type":"item","numeric-id":5850535,"id":"Q5850535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$4B3130CD-D8B2-48BC-B51C-7A6CD280DFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3e6eda0447a4e23e57c8338c30e70815365efa","datavalue":{"value":{"entity-type":"item","numeric-id":5720187,"id":"Q5720187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$73F79F66-07CA-4B69-8AAE-603FF5190D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115420$CBF63339-0BF4-42AA-8B12-912319230490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ecb5aa57df31e1235682de8c4c6a92b32d7e633","datavalue":{"value":"https://doi.org/10.1007/bf00370289","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115420$BA5C0089-BA77-4ECB-9E4E-C07D6E369F26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9802086dc75f9df5794259fefc59b81a7e4117","datavalue":{"value":"W2003794604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115420$94C92E9A-19EC-40E8-B7EB-E4B9802E4122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eae33eaf2c4ca155a58a521974385515b69fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1117920,"id":"Q1117920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b5ac1a1eca9b2a97921f18a7f410af414db3a8","datavalue":{"value":{"amount":"+0.8145475387573242","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":"Q1115420$36ABE794-A1EE-45D6-AF42-073A0D3212E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d1fe4912721445c0e2bf403c5f8fd3aab9b1a4","datavalue":{"value":{"amount":"+0.7922847867012024","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":"Q1115420$2BE3C033-3BA5-4391-A356-55A4AB161434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995cd0b93f9f2f45c63dce139587e1140a9c2247","datavalue":{"value":{"amount":"+0.7809091806411743","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":"Q1115420$781E7BDF-71C6-4093-9D64-D29E54C8566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f47b30f1001831811bea4fe75bdfb08191afa7","datavalue":{"value":{"entity-type":"item","numeric-id":3322078,"id":"Q3322078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995cd0b93f9f2f45c63dce139587e1140a9c2247","datavalue":{"value":{"amount":"+0.7809091806411743","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":"Q1115420$39DF970B-704A-4B9A-8D37-D0019AEE2A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd0678eae120b57a06277684166d14eb2ae275","datavalue":{"value":{"entity-type":"item","numeric-id":3708780,"id":"Q3708780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b679f9cd3c3788b5079d0951fcc6908ed80dce","datavalue":{"value":{"amount":"+0.7801764607429504","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":"Q1115420$73B620A5-CF18-49E3-9DB1-BDCA71C88ABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on sequent calculi intermediate between LJ and LK","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_sequent_calculi_intermediate_between_LJ_and_LK"}}}}}