Generalized Kripke semantics for Nelson's logic (Q694210)
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 6115004
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generalized Kripke semantics for Nelson's logic |
scientific article; zbMATH DE number 6115004 |
Statements
Generalized Kripke semantics for Nelson's logic (English)
0 references
11 December 2012
0 references
Nelson logic
0 references
Kripke semantics
0 references
algebraic semantics
0 references
generalized frame
0 references
0.7979921698570251
0 references
0.7605989575386047
0 references
0.7470719218254089
0 references
0.7464997172355652
0 references
