{"entities":{"Q2343897":{"pageid":2354640,"ns":120,"title":"Item:Q2343897","lastrevid":72560274,"modified":"2026-04-14T05:44:50Z","type":"item","id":"Q2343897","labels":{"en":{"language":"en","value":"Circular proofs for the G\u00f6del-L\u00f6b provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6435023"}},"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":"Q2343897$D94473AB-FCBC-4E1A-BA8F-ED433A3703F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8024221bbae1ffc8c7cf9869132b64fd64e436","datavalue":{"value":{"text":"Circular proofs for the G\u00f6del-L\u00f6b provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2343897$F8212036-5E9F-4F37-919F-919A991E46DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c017e5984d8968823ddaa87151b3e4dd58e8880","datavalue":{"value":"1329.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$3AE5DDE5-53F3-421F-9EC9-92C687638330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8143a8baa3e21ed4b329838ce2db0fac3b5b263","datavalue":{"value":"10.1134/S0001434614090326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$BD8D29F9-0173-42EC-A209-E428D9DD8A4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$22FBFF9A-48FA-4663-8D76-458FA6E56FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$308E8610-7B62-4ABA-A17D-5DC1BBFF4D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ac7323fc0100575064f6dedc6c09265e3fc78be","datavalue":{"value":{"time":"+2015-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2343897$53ABD233-C6E1-4B2F-BAA0-EA871B201F57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f28ef78772b99e8b62a4ad2f3cd4841dbd5faeeb","datavalue":{"value":"https://arxiv.org/abs/1401.4002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2343897$7E5D9309-CC5F-4DFA-BB68-847CC223078C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"669e050bc0344d6269fa5af86f97ddc3c238098c","datavalue":{"value":"A sequent calculus for the provability logic {\\mathsf GL} is introduced by \\textit{G. Sambin} and \\textit{S. Valentini} [Stud. Log. 39, 245--256 (1980; Zbl 0457.03016); J. Philos. Log. 11, 311--342 (1982; Zbl 0523.03014)]. \\textit{D. Leivant} introduced a sequent calculus for {\\mathsf GL} in [J. Symb. Log. 46, 531--538 (1981; Zbl 0464.03019)], too. A syntactic proof of the cut-elimination theorem for the sequent calculus for {\\mathsf GL} was given by \\textit{S. Valentini} [J. Philos. Log. 12, 471--476 (1983; Zbl 0535.03031)]. In the paper under review, the notion of a circular proof in a sequent system for {\\mathsf GL} is introduced. Circular proofs are represented by graphs allowed to contain cycles, rather than by finite trees. The author gives a syntactic proof of the Lyndon interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$1EB3519E-F39E-4147-B43B-F83C2E569A43","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$4B50CAC2-FC2D-4BBE-8C83-2A59A190B4A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$D62DD818-73EC-4856-85AE-D9E1E6AD83B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$17A854B0-B4AE-4D66-A795-1E804D49881C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32f846c26b9ba20f81d1b03d39df5139339d9d23","datavalue":{"value":"6435023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$4223220C-FC87-4A5A-9143-F9727A026EEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$EC908233-FC0C-453D-8CCC-7360C213BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$80D4104D-DFB3-4E00-8F54-A3E3036C083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4a1884d559bfe512c8913a6c2ce00b129cf56c","datavalue":{"value":"circular proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$594507D6-047B-4247-87DC-A9F5DBB3B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$5144C1E1-FA5C-4B35-8488-64BB7C2921D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5e4c438d533f9a418b1cf03caae86e6c950251","datavalue":{"value":"Lyndon interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$EFBAC0B9-3C4A-495F-915A-DAEB75332C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26d64ce3ae9f71eb69f63ffd36e485471e3969c","datavalue":{"value":"split sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343897$A615280E-91D6-43E1-967F-899DCD460126","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$46CD98BC-D67F-41CB-933B-89B9587EB3CE","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":"Q2343897$5E4088A3-93E2-42A1-862B-F47E14BEB5AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$2D12AA77-7DD7-4EA7-9BE0-84656D2F7E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947643150d637319b5eba17184efd7e207af1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$ED10A2F2-9CA2-4171-A45F-FD0883B59943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$AB58CC8E-5FBB-4D2C-8826-5E34CA43A9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$F58F5F43-3CF8-4548-ADA5-4779200A9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d440b3258ffd50bc499de0889cd7970441ef819c","datavalue":{"value":{"entity-type":"item","numeric-id":5898148,"id":"Q5898148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$2CA3A2BE-5834-4147-9276-DA5FAD03E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7ae90865a45f4782f4d357aec271b4347861f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$6AD94A0E-6663-4CF2-9C1E-09DA8B95FCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef3f5713cbb522ee6ededace3ebebb99eae1d21","datavalue":{"value":{"entity-type":"item","numeric-id":2510774,"id":"Q2510774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$2DECF44C-B3A3-43F6-9D0C-065B5AC28BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$7CE048A9-B4C5-4A4F-8E3C-D0DE68EA9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$5EB77669-D997-4BE3-BE83-01490FED4D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$0CE7C632-71A8-4BB5-BF1B-B2EE39CC3AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$A7C178C5-1310-463E-9052-2BFADCE142E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$D924C91A-069E-4A4B-B4E4-32F6D43FA766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$C7274E99-3FF8-4B6A-8E60-F6EE4B501021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595b7b0cc1308645e9228de4db63359ff976521a","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$96646D72-9432-4DC2-ABAE-E500CE5196CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343897$0FF7C1BA-402E-437F-AB4E-9292EFF86BD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8916cc53807320cc188cf8e16ea04b59fbbb6c25","datavalue":{"value":"W3098273402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343897$6D3BD976-D3C5-4ACD-8A84-BAB448A2CE38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fdf1649a75caf06f675d4d9b225cd2e2dc66fc","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf29ea74a1a2209d4365d717a3b9aef6c09927e","datavalue":{"value":{"amount":"+0.873737096786499","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":"Q2343897$13156B47-7B03-4830-93CF-C6B7B687AB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d039012a20309d5ba341fd7b6384b74069951e77","datavalue":{"value":{"amount":"+0.7998227477073669","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":"Q2343897$829260E2-8417-464C-929B-A3BF7244A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94f7f4ca24ea9f81a1cdcaa56274c3b40aebad5","datavalue":{"value":{"amount":"+0.7926477193832397","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":"Q2343897$70C76DE6-EC4B-43BC-A79C-8C025263B2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252959f31a499c4b81f486e58c8ee7566ffe143f","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ccb5a60409b16e1393be092deeb7dfc332d9e2","datavalue":{"value":{"amount":"+0.7821571826934814","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":"Q2343897$6A9BB5C9-7946-4493-BF66-0C7FB15C98B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f67801b52a527fb9014cdf6ab3e49ba3f542dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5001550,"id":"Q5001550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f2489ca4b6d832cbfb5da926baea1c55531521","datavalue":{"value":{"amount":"+0.7810865044593811","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":"Q2343897$3E2C4E67-DED0-4A21-9878-4C541DF87CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circular proofs for the G\u00f6del-L\u00f6b provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circular_proofs_for_the_G%C3%B6del-L%C3%B6b_provability_logic"}}}}}