Relational Semantics for Kleene Logic and Action 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
|
|
|
Relational Semantics for Kleene Logic and Action Logic
|
| Id. |
2117906 |
| Idioma |
inglés
|
| Titulo |
Relational Semantics for Kleene Logic and Action Logic |
| Autor(es) |
Bimbó, Katalin
Dunn, J.~Michael
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1134397663
Notre Dame J. Formal Logic 46, no. 4 (2005), 461-490
doi:10.1305/ndjfl/1134397663
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Kleene algebras and action logic were proposed
to be solutions to the finite axiomatization problem of the algebra of
regular sets (of strings). They are treated here as nonclassical
logicswith Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized
Kripke semantics for the minimal substructural logic. Soundness and
completeness are proven each time.
|
| Tipo |
application/pdf
|
| Palabras clave |
gaggle theory
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2005 Duke University Press |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
21-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
