Propositional intuitionistic multiple-conclusion calculus via proof graphs (Q5241915)
From MaRDI portal
scientific article; zbMATH DE number 7125815
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Propositional intuitionistic multiple-conclusion calculus via proof graphs |
scientific article; zbMATH DE number 7125815 |
Statements
Propositional intuitionistic multiple-conclusion calculus via proof graphs (English)
0 references
4 November 2019
0 references
intuitionistic logic
0 references
proof graphs
0 references
multiple-conclusion
0 references
proof theory
0 references
n-graphs
0 references
