Rudimentos de lógica matemática
Tratado de lógica matemática desde un enfoque no clásico.
| Autor: | |
|---|---|
| Tipo de recurso: | otro |
| Fecha de publicación: | 1991 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/11236 |
| Acceso en línea: | http://hdl.handle.net/10261/11236 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica matemática Lógica gradualista Lógica paraconsistente Lógica clásica Cálculo sentencial Lógica multivalente Negaciones Negación débil Negación fuerte Principio de Heráclito Cálculo cuantificacional Teoría de cúmulos Teoría de conjuntos Principio de estratificación Verdades contradictorias Gradualismo contradictorial Mathematical logic Gradualist logic Paraconsistent logic Classical logic Sentential calulus Multiple-valued logics Negations Weak negation Strong negation Principle of Heracleitos Quantificational calulus Theory of clusters Principle of stratification Contradictory truths Contradictorial gradualism |
| Sumario: | Tratado de lógica matemática desde un enfoque no clásico. |
|---|