Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (Q2277440)
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: Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems |
scientific article; zbMATH DE number 4197956
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems |
scientific article; zbMATH DE number 4197956 |
Statements
Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (English)
0 references
1991
0 references
The paper provides a cut-free Gentzen-system for the logic RMI [cf. part II of the present series, ibid. 31, No.2, 169-202 (1990; Zbl 0714.03020)]. The system employs the notion of a hypersequent, a disjunction of ordinary sequents [see the author's paper in J. Symb. Logic 52, 939-951 (1987; Zbl 0639.03017)].
0 references
cut-elimination
0 references
cut-free Gentzen-system
0 references
logic RMI
0 references
hypersequent
0 references
0.8147144317626953
0 references
0.8077419400215149
0 references
0.7688595652580261
0 references
0.7552697062492371
0 references
