Acceptance, inference, and the multiple-conclusion sequent (Q383068)
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: Acceptance, inference, and the multiple-conclusion sequent |
scientific article; zbMATH DE number 6232164
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Acceptance, inference, and the multiple-conclusion sequent |
scientific article; zbMATH DE number 6232164 |
Statements
Acceptance, inference, and the multiple-conclusion sequent (English)
0 references
25 November 2013
0 references
acceptance
0 references
inference
0 references
multiple conclusions
0 references
rational commitment
0 references
rejection
0 references
sequent
0 references
structural rules
0 references
0.8745538
0 references
0.86043364
0 references
0.8582357
0 references
0.8511369
0 references
0 references
0 references
0.83462334
0 references
