No label defined (Q4296301)
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: scientific article; zbMATH DE number 590999 |
scientific article; zbMATH DE number 590999
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 590999 |
Statements
22 January 1995
0 references
guard connective
0 references
Belnap's four-valued logic
0 references
Kleene's strong logic
0 references
Kleene's weak logic
0 references
Lisp logic
0 references
tableau
0 references
distributive bilattices
0 references
0.8443931937217712
0 references
0.8000128269195557
0 references
0.7949504852294922
0 references
0.7887800931930542
0 references
0.7882805466651917
0 references
