Note on deduction theorems in contraction-free logics (Q2888635)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Note on deduction theorems in contraction-free logics |
scientific article; zbMATH DE number 6040460
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Note on deduction theorems in contraction-free logics |
scientific article; zbMATH DE number 6040460 |
Statements
1 June 2012
0 references
local deduction theorem
0 references
BCI-logic
0 references
substructural logics
0 references
rule of contraction
0 references
contraction-free logics
0 references
0.93488175
0 references
0.9039845
0 references
0.89847463
0 references
0.8934115
0 references
0.8921611
0 references
0.8910444
0 references
Note on deduction theorems in contraction-free logics (English)
0 references
