{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T23:24:03Z","timestamp":1649201043379},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4394,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper introduces valuation structures associated with preferential models. Based on <jats:italic>KLM<\/jats:italic> valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property <jats:bold>INJ<\/jats:bold>, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies <jats:bold>INJ<\/jats:bold> if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation.<\/jats:p>","DOI":"10.2178\/jsl\/1190150026","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T14:12:10Z","timestamp":1197555130000},"page":"1-23","source":"Crossref","is-referenced-by-count":7,"title":["Valuation structure"],"prefix":"10.1017","volume":"67","author":[{"given":"Zhaohui","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenghua","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shifu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wujia","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009816_ref003","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.3.231"},{"key":"S0022481200009816_ref001","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.5.605"},{"key":"S0022481200009816_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90041-U"},{"key":"S0022481200009816_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"S0022481200009816_ref009","first-page":"647","volume-title":"The seventh international conference on principles of knowledge representation and reasoning (KR'2000), Breckenridge, Colorado, USA, April 11-15, 2000","author":"Zhu","year":"2000"},{"key":"S0022481200009816_ref002","first-page":"160","volume-title":"Proceedings of the twenty-sixth international symposium on multiple-valued logic","author":"Bezzazi","year":"1996"},{"key":"S0022481200009816_ref008","author":"P\u00e9rez","journal-title":"On representation theorems for nonmonotonic inference relation"},{"key":"S0022481200009816_ref007","volume-title":"Handbook of logic in Artificial Intelligence and logic programming","volume":"III","author":"Makinson","year":"1993"},{"key":"S0022481200009816_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T21:34:17Z","timestamp":1557178457000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009816\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["S0022481200009816"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150026","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}