Normalized natural deduction systems for some relevant logics I: The logic DW (Q5477623)
From MaRDI portal
scientific article; zbMATH DE number 5038887
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normalized natural deduction systems for some relevant logics I: The logic DW |
scientific article; zbMATH DE number 5038887 |
Statements
Normalized natural deduction systems for some relevant logics I: The logic DW (English)
0 references
5 July 2006
0 references
sentential relevant logic
0 references
natural deduction
0 references
0 references
