English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/9860
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:


C1-Compatible Transitive Extensions of System CT

AuthorsPeña, Lorenzo
KeywordsNewton 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
Issue Date1998
CitationLogique et Analyse, Nº 161-162-163 (1998), pp. 135-143
AbstractDa 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.
Appears in Collections:(CCHS-IFS) Artículos
Files in This Item:
File Description SizeFormat 
gante.pdf37,85 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.