{"entities":{"Q2919946":{"pageid":2930666,"ns":120,"title":"Item:Q2919946","lastrevid":42500568,"modified":"2025-06-30T14:26:41Z","type":"item","id":"Q2919946","labels":{"en":{"language":"en","value":"Cut for core logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6097873"}},"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":"Q2919946$3288E7C2-C76D-4CEA-88A3-6C8E264100AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd8df9ee971915bb491e4a2c977ebc813eb8727","datavalue":{"value":"1256.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$086F6C3C-6DAC-4F6E-BB0E-195D64415A6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffcc8a9a8efd15baf89657a38c24a90becc9e7bb","datavalue":{"value":"10.1017/S1755020311000360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$586154D6-EE52-4F60-8D20-EFBAA9AB1F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$468DBC72-CE96-453B-869C-DE0F12131F2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$D515CADB-E13D-4E6F-9732-B431897D409C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6768424e7cf1c12195570a038e713d0228dc345c","datavalue":{"value":{"time":"+2012-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2919946$1C5B8C3C-9CE0-4443-8CDA-67213966E858","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$1E3CA97C-D09F-4E10-B207-AAF805DB3EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$DB32BABE-1704-40DB-99C2-8023C55AF47E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b87b4637b25cedf1114de29d8e9a26227f5fb70","datavalue":{"value":"6097873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$D7DC131F-2D16-4ABA-BB75-3127C6233FB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919946$08FFC9FF-11F9-4A0F-B2D4-B5022031016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083f4743b1a4c20d084204fa2d6ce3eb8af27857","datavalue":{"value":"core logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919946$E7DEB07F-B46E-4BCE-8383-A62DBFC38A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919946$EB1FDB5B-DC93-4957-9915-DB3C6E7D37B3","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":"Q2919946$A79A3C03-C768-4E08-B243-C06696C8FB96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0f6dab6df5795dee6205f156e70377eba1bb80","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$66226AEA-94A3-4AFF-BB2D-B95306CBD710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fea22eee57552af1084e867be7b6d5a6c0e3b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3710505,"id":"Q3710505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$75EDC749-0E50-4393-AAF3-1C9B620516BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd9f24447d0c28e275331f7b7b84d57dc2a1c78","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$E917F745-843F-4097-8AE8-5562C3581A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$B84085E0-0E92-48D1-B641-56CD4C3F97BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$FE415DC3-3215-4824-A958-8E520F4BEA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$BB0A066B-6384-4AFB-9371-2B4E7FA30FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$9EAA8935-B612-4816-84D9-39889321AC87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca7e93353d2d0049ed9e1567b85c7e0928e1f24","datavalue":{"value":"https://doi.org/10.1017/s1755020311000360","type":"string"},"datatype":"url"},"type":"statement","id":"Q2919946$4AEC073A-A096-4145-B433-E40643B32AE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa2f51bc1ecc7e46d1fcc8820b079f5a87121d96","datavalue":{"value":"W2328394552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919946$FF39E06C-24E0-497D-982C-BB5FAC28393C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca74b8299148564339540e6f1ef3c7960509c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5259721,"id":"Q5259721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659b94ecaa9c605e01df4fad9853fd6e511b84e1","datavalue":{"value":{"amount":"+0.8786745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$6B0C7D6B-A6AB-43FC-9738-7344FE93C9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22860814a549f6d2381505fa4c4fdc08fe96fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2874bb1c90fe5369d2d312d0d1a5091c0a444177","datavalue":{"value":{"amount":"+0.8355811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$4DD40F48-CED4-49B5-92D2-7FA859EEADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a275a3ef2b207469a2d15d34b603cdd3bad6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2b00df1e39a4ed2d170106d71a4034068736f4","datavalue":{"value":{"amount":"+0.78601706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$D9AF0BBE-4DC8-4B52-9119-CC0E12528DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a91c024821b7a4c75a5b500cf998ca4835828a9","datavalue":{"value":{"entity-type":"item","numeric-id":5095569,"id":"Q5095569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0871af29c7d906a59f7050c70241df5e0dc6f3","datavalue":{"value":{"amount":"+0.7654216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$5A286232-8F46-46CC-BFB9-5E2442B93FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1510250e56f450fa1dd82f918a0d39f3feb0500","datavalue":{"value":{"entity-type":"item","numeric-id":2575795,"id":"Q2575795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8518121d735c98eef84e4a7c3fcb22a120f16e2e","datavalue":{"value":{"amount":"+0.7619824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$2D0A9A9F-98BA-4401-8F3D-03D481CDBBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce9ab4873abe507350495d1bb02c47f5b2db4e1","datavalue":{"value":{"entity-type":"item","numeric-id":1199597,"id":"Q1199597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c3159e96fb09241cc360bbd023767d7f534a0a","datavalue":{"value":{"amount":"+0.76193833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$C2F72381-E983-40CB-A6D8-FC00CD48587A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ee27684dd5ed88c9fa43756ec2bb715483f733","datavalue":{"value":{"entity-type":"item","numeric-id":5690149,"id":"Q5690149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee98d19cf82b17c68ff0c25db9af68da9419fe2","datavalue":{"value":{"amount":"+0.7602438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$47BDE23F-1CB3-4CB9-A831-FB810866A16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1afecc63e83a28ae399125e1af9976ce1e436","datavalue":{"value":{"entity-type":"item","numeric-id":689298,"id":"Q689298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1f97f753fe30dc772de7f4014df2ea9fb87c53","datavalue":{"value":{"amount":"+0.7584442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$5B9036B0-A74A-444D-A4D6-B29BE6123B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6203d905dd80ebaaa1a0f6378ed8bcaa70f23b","datavalue":{"value":{"entity-type":"item","numeric-id":4383046,"id":"Q4383046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f1c086f026af384b1bc8124a24b683c5a4406f","datavalue":{"value":{"amount":"+0.75537145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$881864E5-77AB-4E74-9640-97578E3234BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8aaa1077ab22efc84c8d6b260dc07165be3c298","datavalue":{"value":{"entity-type":"item","numeric-id":2947947,"id":"Q2947947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a13f0275875138801c78e672fc6ff5fb16ff8a9","datavalue":{"value":{"amount":"+0.75406605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919946$3F272AD4-440B-4856-A85F-0897E28993C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900eb9b9331d38cb062fa38310a9df14ddf093a5","datavalue":{"value":{"text":"Cut for core logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2919946$C8DD10CF-AC8A-4126-978C-876F4AF66DCD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7578009c97f44810e5f9cedfec4896a9b60deec1","datavalue":{"value":"In his recent book [Changes of mind. An essay on rational belief revision. Oxford: Oxford University Press (2012; Zbl 1254.03002)], the author of the paper under review argues for an important revision-theoretic thesis: core logic is the minimal inviolable core of logic without any part of which one would not be able to establish the rationality of belief revision. In this paper a `hybrid' proof system for core logic is presented, combining the advantages of a sequent calculus with those of natural deduction systems, and the corresponding form of the cut-elimination theorem is formulated and proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919946$5540665C-6E5D-43A1-9D60-C85CE3D1D004","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919946$B226D143-E1E3-4917-98D4-BAB42944473D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2919946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2919946"}}}}}