Intuitionistic Completeness and Classical 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
|
|
|
Intuitionistic Completeness and Classical Logic
|
| Id. |
979935 |
| Idioma |
inglés
|
| Titulo |
Intuitionistic Completeness and Classical Logic |
| Autor(es) |
McCarty, D. C.
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1074396309
Notre Dame J. Formal Logic 43, no. 4 (2002), 243-248
doi:10.1305/ndjfl/1074396309
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense.
|
| Tipo |
application/pdf
|
| Palabras clave |
intuitionistic 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 2002 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.
|
|
|
|
