Observational Logic
|
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
|
|
|
Observational Logic
|
| Id. |
46396887 |
| Idioma |
inglés
|
| Titulo |
Observational Logic |
| Autor(es) |
Observational Logic
Ecole Normale
Suprieure Cachan
Rolf Hennicker
Michel Bidoit
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7668
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. We present an institution of observational logic which generalizes earlier approaches to observational systems specification in various ways. First, we introduce a notion of an observational signature which incorporates the declaration of a distinguished set of observers. Then, we define observational algebras whose operations are required to be compatible with the indistinguishability relation determined by the observers of an observational signature. In particular, we introduce a homomorphism concept for observational algebras which adequately expresses observational relationships between algebras. Then we consider a flexible notion of observational signature morphism which guarantees the satisfaction condition of institutions w.r.t. observational satisfaction for arbitrary first-order sentences. From the proof theoretical point of view we construct a sound and complete proof system for the observational consequence relation. Then we consider structured observational specification...
|
| Tipo |
application/postscript
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-1998-6.rr.ps
[References] 10.1.1.137.5123
[References] 10.1.1.37.1418
[References] 10.1.1.29.9792
[References] 10.1.1.49.9260
[References] 10.1.1.26.260
[References] 10.1.1.42.8005
[References] 10.1.1.25.7826
[References] 10.1.1.45.209
[References] 10.1.1.56.4105
[References] 10.1.1.45.3145
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
