Valuation structure
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Valuation structure
|
| Id. |
37476921 |
| Idioma |
inglés
|
| Titulo |
Valuation structure |
| Autor(es) |
Zhu, Zhaohui
Pan, Zhenghua
Chen, Shifu
Zhu, Wujia
|
| Localización |
http://projecteuclid.org/euclid.jsl/1190150026
J. Symbolic Logic 67, iss. 1 (2002), 1-23
doi:10.2178/jsl/1190150026
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
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.
|
| Tipo |
application/pdf
|
| Palabras clave |
03B60
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2002 Association for Symbolic Logic |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
19-sep-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
