Admissibility in positive logics (Q1689558)
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: Admissibility in positive logics |
scientific article; zbMATH DE number 6825506
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Admissibility in positive logics |
scientific article; zbMATH DE number 6825506 |
Statements
Admissibility in positive logics (English)
0 references
12 January 2018
0 references
inference rule
0 references
multiple-conclusion rule
0 references
admissible rule
0 references
positive logic
0 references
intermediate logic
0 references
Brouwerian algebra
0 references
0 references
0.8341801166534424
0 references
0.8133676052093506
0 references
0.7998965978622437
0 references
0.7965419292449951
0 references
0.7837303280830383
0 references
