No label defined (Q4532133)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1749147
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1749147 |
Statements
28 November 2002
0 references
paraconsistent logic
0 references
0.8315566778182983
0 references
0.8150387406349182
0 references
This interesting and largely nontechnical survey of paraconsistent logics is somewhat coloured by the author's own views on the subject. His distinction between \textit{ex falso quodlibet} and \textit{ex contradictione quodlibet} for example, would not be universally agreed to! Applications to mathematics, automated reasoning and belief revision are mentioned. Logical systems looked at briefly are: da Costa's systems \(C_i\), many-valued and relevant logics, inconsistency adaptive logics. There is a longer section on non-adjunctive systems. For the entire collection see [Zbl 0982.00038].
0 references
