An axiomatization of Wansing's expansion of Nelson's logic (Q4596925)
From MaRDI portal
!
WARNING
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 6817173
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An axiomatization of Wansing's expansion of Nelson's logic |
scientific article; zbMATH DE number 6817173 |
Statements
11 December 2017
0 references
Nelson's logic
0 references
intuitionistic logic
0 references
Jankov's logic
0 references
nonmonotonic reasoning
0 references
axiomatization
0 references
AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC (English)
0 references
0.8727930188179016
0 references
0.7663297057151794
0 references
0.7454466819763184
0 references
0.7342042326927185
0 references
0.7342042326927185
0 references
