{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:45:40Z","timestamp":1648860340084},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T00:00:00Z","timestamp":1340236800000},"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":[[2012,9]]},"DOI":"10.1007\/s11432-012-4631-6","type":"journal-article","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T19:31:16Z","timestamp":1340307076000},"page":"2044-2055","source":"Crossref","is-referenced-by-count":0,"title":["Maximal contractions in Boolean algebras"],"prefix":"10.1007","volume":"55","author":[{"given":"HuiXian","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GuoJun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,21]]},"reference":[{"key":"4631_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron C, Gardenfors P, Makinson D. On the logic of theory change: Partial meet functions for contraction and revision. J Symb Log, 1985, 50: 510\u2013530","journal-title":"J Symb Log"},{"key":"4631_CR2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C. Alchourron","year":"1985","unstructured":"Alchourron C, Makinson D. On the logic of theory change: Safe contraction. Studia Logica, 1985, 44: 405\u2013422","journal-title":"Studia Logica"},{"key":"4631_CR3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno H, Mendelzon A O. Propositional knowledge base revision and minimal change. Artif Intell, 1991, 52: 263\u2013294","journal-title":"Artif Intell"},{"key":"4631_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwixhe","year":"1997","unstructured":"Darwixhe A, Pearl J. On the logic of iterated belief revision. Artif Intell, 1997, 89: 1\u201329","journal-title":"Artif Intell"},{"key":"4631_CR5","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":"4631_CR6","first-page":"394","volume-title":"Programming Languages and Systems-ESOP\u201994","author":"W. Li","year":"1994","unstructured":"Li W. A logical framework for evolution of specifications. In: Programming Languages and Systems-ESOP\u201994. LNCS788. Berlin: Springer-Verlag, 1994. 394\u2013408"},{"key":"4631_CR7","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":"4631_CR8","first-page":"139","volume-title":"Mathematical Logic: Foundations for Information Science","author":"W. Li","year":"2009","unstructured":"Li W. Mathematical Logic: Foundations for Information Science. Basel: Birkhaeuser Publish, 2009. 139\u2013164"},{"key":"4631_CR9","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/s11432-010-4172-9","volume":"54","author":"J. Luo","year":"2011","unstructured":"Luo J, Li W. An algorithm to compute maximal contractions for Horn clauses. Sci China Inf Sci, 2011, 54: 244\u2013257","journal-title":"Sci China Inf Sci"},{"key":"4631_CR10","first-page":"130","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"Davey B A, Priestley H A. Introduction to Lattices and Order. New York: Cambridge University Press, 1990. 130\u2013158"},{"key":"4631_CR11","first-page":"5","volume-title":"Introduction to Mathematical Logic and Resolution Principle","author":"G. J. Wang","year":"2009","unstructured":"Wang G J, Zhou H J. Introduction to Mathematical Logic and Resolution Principle. Beijing: Science Press, Oxford: Alpha Science International Limited, 2009. 5\u201396"},{"key":"4631_CR12","first-page":"63","volume-title":"Lecture Notes on Point Set Topology (in Chinese)","author":"J. C. Xiong","year":"2003","unstructured":"Xiong J C. Lecture Notes on Point Set Topology (in Chinese). 3nd ed. Beijing: Higher Education Press, 2003. 63\u201373","edition":"3nd ed."},{"key":"4631_CR13","first-page":"28","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. 28\u2013218"},{"key":"4631_CR14","first-page":"1","volume-title":"Non-classical Mathematical Logic and Approximate Reasoning (in Chinese)","author":"G. J. Wang","year":"2008","unstructured":"Wang G J. Non-classical Mathematical Logic and Approximate Reasoning (in Chinese). 2nd ed. Beijing: Science Press, 2008. 1\u201315","edition":"2nd ed."},{"key":"4631_CR15","doi-asserted-by":"crossref","first-page":"998","DOI":"10.1007\/BF02879982","volume":"45","author":"G. J. Wang","year":"2002","unstructured":"Wang G J, Fu L, Song J S. Theory of truth degrees of formulas in two-valued propositional logic. Sci China Ser A-Math, 2002, 45: 998\u20131008","journal-title":"Sci China Ser A-Math"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4631-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4631-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4631-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:47Z","timestamp":1559403467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4631-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,21]]},"references-count":15,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["4631"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4631-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,21]]}}}