A Strong Model of Paraconsistent 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
|
|
|
A Strong Model of Paraconsistent Logic
|
| Id. |
979945 |
| Idioma |
inglés
|
| Titulo |
A Strong Model of Paraconsistent Logic |
| Autor(es) |
Esser, Olivier
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1091030853
Notre Dame J. Formal Logic 44, no. 3 (2003), 149-156
doi:10.1305/ndjfl/1091030853
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The purpose of this paper is mainly to give a model of paraconsistent
logic satisfying the "Frege comprehension scheme" in which we can develop
standard set theory (and even much more as we shall see). This is the
continuation of the work of Hinnion and Libert.
|
| Tipo |
application/pdf
|
| Palabras clave |
paraconsistent logic
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2003 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.
|
|
|
|
