Deduction theorems for RM and its extensions (Q1257468)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deduction theorems for RM and its extensions |
scientific article |
Statements
Deduction theorems for RM and its extensions (English)
0 references
1979
0 references
Deduction Theorem
0 references
Sugihara Algebra
0 references
Matrix
0 references
Relevant Logic
0 references