{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T20:15:55Z","timestamp":1648930555090},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11432-011-4492-4","type":"journal-article","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T12:43:10Z","timestamp":1322916190000},"page":"2530-2543","source":"Crossref","is-referenced-by-count":4,"title":["R-calculus without the cut rule"],"prefix":"10.1007","volume":"54","author":[{"given":"Jie","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,3]]},"reference":[{"key":"4492_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f6n","year":"1985","unstructured":"Alchourr\u00f6n C E, G\u2192denfors R, Makinson D. On the logic of theory change: partial meet contraction and revision functions. J Symb Logic, 1985, 50: 510\u2013530","journal-title":"J Symb Logic"},{"key":"4492_CR2","doi-asserted-by":"crossref","unstructured":"Li W. A logical framework for evolution of specifications. In: Proceedings of 5th European Symposium on Programming, Edinburgh, UK, 1994. 394\u2013408","DOI":"10.1007\/3-540-57880-3_26"},{"key":"4492_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1007\/s11432-010-0084-y","volume":"53","author":"W. Li","year":"2010","unstructured":"Li W. Logical verification of scientific discovery. Sci China Inf Sci, 2010, 53: 677\u2013684","journal-title":"Sci China Inf Sci"},{"key":"4492_CR4","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1093\/comjnl\/bxl069","volume":"50","author":"W. Li","year":"2007","unstructured":"Li W. R-calculus: an inference system for belief revision. Comput J, 2007, 50: 378\u2013390","journal-title":"Comput J"},{"key":"4492_CR5","volume-title":"Mathematical Logic\u2014Foundations for Information Science","author":"W. Li","year":"2010","unstructured":"Li W. Mathematical Logic\u2014Foundations for Information Science. Basel: Birkh\u00e4user Verlag, 2010"},{"key":"4492_CR6","volume-title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","author":"J. H. Gallier","year":"1986","unstructured":"Gallier J H. Logic for Computer Science: Foundations of Automatic Theorem Proving. New York: Harper & Row, 1986"},{"key":"4492_CR7","unstructured":"Coq. http:\/\/coq.inria.fr\/"},{"key":"4492_CR8","unstructured":"Isabelle. http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4492-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4492-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4492-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T07:07:48Z","timestamp":1561014468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4492-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":8,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["4492"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4492-4","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]}}}