Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/9860
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | C1-Compatible Transitive Extensions of System CT |
Autor: | Peña, Lorenzo CSIC | Palabras clave: | Newton da Costa Lógica común Lógica positiva clásica Negación débil Doble negación Tercio excluso Lógica transitiva Lógica gradualista Lógica paraconsistente Common logic Classical positive logic Weak negation Double negation Excluded middle Transitive logic Gradualistic logic Paraconsistent logic |
Fecha de publicación: | 1998 | Citación: | Logique et Analyse, Nº 161-162-163 (1998), pp. 135-143 | Resumen: | Da Costa's main logics can be built up as extensions of a system of common logic, which is classical positive logic plus a classicality symbol and a weak negation satisfying converse double negation and excluded middle. Common logic can alternatively be strengthened into transitive (gradualistic) logic. The choice between those two strengthenings depends on philosophical options. Both approaches are close relatives which constitute a natural sub-family of the larger paraconsistent kind. | URI: | http://hdl.handle.net/10261/9860 |
Aparece en las colecciones: | (CCHS-IFS) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
gante.pdf | 37,85 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
611
checked on 26-mar-2024
Download(s)
143
checked on 26-mar-2024
Google ScholarTM
Check
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.