A cut-like inference in a framework of explicit composition for various calculi of natural deduction (Q5213631)
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: A cut-like inference in a framework of explicit composition for various calculi of natural deduction |
scientific article; zbMATH DE number 7162507
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A cut-like inference in a framework of explicit composition for various calculi of natural deduction |
scientific article; zbMATH DE number 7162507 |
Statements
A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction (English)
0 references
4 February 2020
0 references
0 references
0 references
0.7658336758613586
0 references
0.7569122910499573
0 references
0.7569122910499573
0 references
0.7529667019844055
0 references
