Weakening of intuitionistic negation for many-valued paraconsistent da Costa system (Q1049743)
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: Weakening of intuitionistic negation for many-valued paraconsistent da Costa system |
scientific article; zbMATH DE number 5657676
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weakening of intuitionistic negation for many-valued paraconsistent da Costa system |
scientific article; zbMATH DE number 5657676 |
Statements
Weakening of intuitionistic negation for many-valued paraconsistent da Costa system (English)
0 references
13 January 2010
0 references
paraconsistent logic
0 references
many-valued logic
0 references
autoreferential Kripke semantics
0 references
0.8153893947601318
0 references
0.800724983215332
0 references
0.7724611163139343
0 references
0.7679054737091064
0 references
0.7653876543045044
0 references
