No label defined (Q4698609)
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: scientific article; zbMATH DE number 753776 |
scientific article; zbMATH DE number 753776
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 753776 |
Statements
31 October 1995
0 references
sequent systems
0 references
data structures
0 references
substructural logics
0 references
second-degree sequents
0 references
conditional logics
0 references
0.7676935791969299
0 references
0.7277454733848572
0 references
0.7271290421485901
0 references
