English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/9860
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Ver citas en Google académico
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar otros formatos: Exportar EndNote (RIS)Exportar EndNote (RIS)Exportar EndNote (RIS)
Título

C1-Compatible Transitive Extensions of System CT

Autor Peña, Lorenzo
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
ResumenDa 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.pdf37,85 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.