Fragments of Quasi-Nelson: The Algebraizable Core (Q5046720)
From MaRDI portal
scientific article; zbMATH DE number 7613860
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fragments of Quasi-Nelson: The Algebraizable Core |
scientific article; zbMATH DE number 7613860 |
Statements
Fragments of Quasi-Nelson: The Algebraizable Core (English)
0 references
9 November 2022
0 references
(quasi-)Nelson logic
0 references
twist-structure
0 references
constructive logic
0 references
negation
0 references
implication
0 references
subreducts
0 references
