Connexive Gentzen (Q4644500)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6997886
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Connexive Gentzen |
scientific article; zbMATH DE number 6997886 |
Statements
Connexive Gentzen (English)
0 references
8 January 2019
0 references
non-classical propositional logic
0 references
connexive implication
0 references
Gentzen proofs
0 references
elimination theorem
0 references
0.8269655704498291
0 references
0.8003362417221069
0 references
0.7925942540168762
0 references
0.7852864861488342
0 references
