Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635)
From MaRDI portal
scientific article; zbMATH DE number 7437992
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normalisation for Some Quite Interesting Many-Valued Logics |
scientific article; zbMATH DE number 7437992 |
Statements
Normalisation for Some Quite Interesting Many-Valued Logics (English)
0 references
2 December 2021
0 references
natural deduction
0 references
normalisation
0 references
three-valued logic
0 references
four-valued logic
0 references
logic of paradox
0 references
Nelson logic
0 references
0 references
0 references
