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. |
41819958 |
| Idioma |
inglés
|
| Titulo |
Observational Logic |
| Autor(es) |
R. Hennicker,M. Bidoit,Rolf Hennicker,Michel Bidoit
|
| Localización |
http://citeseer.ist.psu.edu/384560.html
|
| 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 |
ps
|
| Palabras clave |
R. Hennicker,M. Bidoit,Rolf Hennicker,Michel Bidoit Observational Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-1998-6.rr.ps
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
