{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T10:42:24Z","timestamp":1648809744070},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T00:00:00Z","timestamp":1503446400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s11432-015-9050-6","type":"journal-article","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T23:27:31Z","timestamp":1504135651000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Contrary description logic: Gentzen deduction system"],"prefix":"10.1007","volume":"60","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[]},{"given":"Jie","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Bo","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"key":"9050_CR1","unstructured":"Parsons T. The traditional square of opposition. Stanford Encyclopedia of Philosophy, http:\/\/plato.stanford.edu\/ entries\/square"},{"key":"9050_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/S1574-6526(05)80014-8","volume":"1","author":"A Artale","year":"2005","unstructured":"Artale A, Franconi E. Temporal description logics. In: Handbook of Temporal Reasoning in Artificial Intelligence. Oxford: Elsevier, 2005, 1: 375\u2013388","journal-title":"Handbook of Temporal Reasoning in Artificial Intelligence"},{"key":"9050_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation, Applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, Mc Guinness D L, et al. The Description Logic Handbook: Theory, Implementation, Applications. Cambridge: Cambridge University Press, 2003"},{"key":"9050_CR4","volume-title":"Handbook of Knowledge Representation","author":"F Baader","year":"2007","unstructured":"Baader F, Horrocks I, Sattler U. Chapter 3 description logics. In: Handbook of Knowledge Representation. Oxford: Elsevier, 2007"},{"key":"9050_CR5","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D v Fensel","year":"2001","unstructured":"Fensel D, van Harmelen F, Horrocks I, et al. OIL: an ontology infrastructure for the semantic web. IEEE Intell Syst, 2001, 16: 38\u201345","journal-title":"IEEE Intell Syst"},{"key":"9050_CR6","first-page":"209","volume":"27","author":"W Zhu","year":"2016","unstructured":"Zhu W, Li W, Sui Y, et al. Sound and complete Gentzen deduction system for propositional intermediate logic (in Chinese). J Softw, 2016, 27: 209\u2013218","journal-title":"J Softw"},{"key":"9050_CR7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/ISMVL.2001.924586","volume-title":"Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic (ISMVL\u201901)","author":"A Avron","year":"2001","unstructured":"Avron A. Classical Gentzen-type methods in propositional many-valued logics. In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic (ISMVL\u201901). Washington: IEEE Computer Society, 2001. 287"},{"key":"9050_CR8","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A Avron","year":"1999","unstructured":"Avron A. On the expressive power of three-valued and four-valued languages. J Logic Comput 1999, 9: 977\u2013994","journal-title":"J Logic Comput"},{"key":"9050_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4002-3","volume-title":"A Proof Theory for Description Logics","author":"A Rademaker","year":"2012","unstructured":"Rademaker A. A Proof Theory for Description Logics. Berlin: Springer, 2012"},{"key":"9050_CR10","volume-title":"Proof Theory","author":"G Takeuti","year":"1987","unstructured":"Takeuti G. Proof Theory. 2nd ed. Amsterdam: North-Holland Publishing Company, 1987"},{"key":"9050_CR11","volume-title":"Mathematical Logic, Foundations for Information Science","author":"W Li","year":"2010","unstructured":"Li W. Mathematical Logic, Foundations for Information Science. Basel: Birkh\u00e4user, 2010"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-9050-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-9050-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-9050-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T23:27:42Z","timestamp":1504135662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-9050-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,23]]},"references-count":11,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["9050"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-9050-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,23]]},"article-number":"112103"}}