Valuation structure
Zhu, Zhaohui ; Pan, Zhenghua ; Chen, Shifu ; Zhu, Wujia
J. Symbolic Logic, Tome 67 (2002) no. 1, p. 1-23 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, 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 INJ 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.
Publié le : 2002-03-14
Classification:  03B60,  68T27 
@article{1190150026,
     author = {Zhu, Zhaohui and Pan, Zhenghua and Chen, Shifu and Zhu, Wujia},
     title = {Valuation structure},
     journal = {J. Symbolic Logic},
     volume = {67},
     number = {1},
     year = {2002},
     pages = { 1-23},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1190150026}
}

Zhu, Zhaohui; Pan, Zhenghua; Chen, Shifu; Zhu, Wujia. Valuation structure. J. Symbolic Logic, Tome 67 (2002) no. 1, pp.  1-23. http://gdmltest.u-ga.fr/item/1190150026/