Addendum to the paper Belnap's
|
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
|
|
|
Addendum to the paper Belnap's
|
| Id. |
42109762 |
| Idioma |
inglés
|
| Titulo |
Addendum to the paper Belnap's |
| Autor(es) |
Four-valued Logic,De Morgan
|
| Localización |
http://citeseer.ist.psu.edu/674226.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
three above mentioned Gentzen systems are presented, together
with the structural and multiple-conclusion versions
GBC and
GBC of GB and GBL ,
respectively. Then Theorem 4.88 of [7] states the same as Theorem 4.11 of [3], that is,
the strong algebraizability of GB (denoted by GBC in [7]), with the variety DM of De
Morgan lattices as its equivalent algebraic semantics. And Theorem 4.98 of [7] states
the non-algebraizability of
GBC , which is proved from the strong algebraizability of
GBC ; since it is obvious that the same fact and proof hold for their single-conclusion
fragments, one can consider that this result also contains the non-algebraizability
of GBL , which is the assertion in Theorem 4.12 of [3]. Moreover, the technique of
the proof is also the same, that is, to use the strong algebraizability of GB together
with a key property of the general theories referred to above; this property (that
an algebraizable logic cannot have a strongly algebraizable proper extension
|
| Tipo |
ps
|
| Palabras clave |
Four-valued Logic,De Morgan Addendum to the paper Belnap's
|
| 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://www3.oup.co.uk/igpl/Volume_07/Issue_05/ps/addendum.ps.gz
|
| 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.
|
|
|
|
