Classical vs Non-classical Logics - The Universality of Classical Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Classical vs Non-classical Logics - The Universality of Classical Logic
|
| Id. |
46465830 |
| Idioma |
inglés
|
| Titulo |
Classical vs Non-classical Logics - The Universality of Classical Logic |
| Autor(es) |
Im Stadtwald
Dov M. Gabbay
Dov M Gabbay
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8544
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is a reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process using SCAN. This report relies on other papers, published and/or to be published as explained in the acknowledgements. Keywords classical logic, nonclassical logic, translation of logics Contents 1 Introduction---the debate 2 2 What is a logical system?---the challenge 6 2.1 Logical systems as consequence relations : : : : : : : : : : : : : : : : : : : : : : : : 7 2.2 Logical systems as algorithmic proof systems : : : : : : : : : : : : : : : : : : : : : 9 2.3 Logical systems as algorithmic structured con...
|
| Tipo |
application/postscript
|
| Palabras clave |
nonclassical logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.mpi-sb.mpg.de/pub/papers/reports/MPI-I-93-230.ps.gz
[References] 10.1.1.33.1782
[References] 10.1.1.19.26
[References] 10.1.1.89.531
[References] 10.1.1.42.308
[References] 10.1.1.35.1669
[References] 10.1.1.100.4544
|
| Fecha de contribución |
28-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
