Connexive Gentzen (Q4644500)
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: Connexive Gentzen |
scientific article; zbMATH DE number 6997886
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
