Behavioral algebraization of da Costa's \({\mathcal C}\)-systems (Q3647293)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Behavioral algebraization of da Costa's C-systems |
scientific article; zbMATH DE number 5640570
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Behavioral algebraization of da Costa's \({\mathcal C}\)-systems |
scientific article; zbMATH DE number 5640570 |
Statements
Behavioral algebraization of da Costa's <i>C</i>-systems (English)
0 references
30 November 2009
0 references
algebraization of logic
0 references
behavioral reasoning
0 references
da Costa algebra
0 references
paraconsistent logic
0 references
bivaluation semantics
0 references
0.8435285687446594
0 references
0.8070431351661682
0 references
