No label defined (Q4329286)
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 1735923
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1735923 |
Statements
6 March 2003
0 references
paraconsistent logic
0 references
aggregation
0 references
degree of incoherence
0 references
0.8167476058006287
0 references
0.8153005242347717
0 references
0.7623741626739502
0 references
0.7602130770683289
0 references
In many logics we have that truth is preserved by \(\models\) and provability by \(\vdash\). Paraconsistent logic requires another property to be preserved. The author of this paper considers logics that preserve the ``degree of incoherence''. Such logics need not satisfy \(\wedge\)-introduction and the author considers two possible solutions to this problem, which are ``theories of aggregation''. For the entire collection see [Zbl 0978.00027].
0 references
