English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/9860
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
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.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.