Hypersequents and Systems of Rules (Q4579958)
From MaRDI portal
scientific article; zbMATH DE number 6916525
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hypersequents and Systems of Rules |
scientific article; zbMATH DE number 6916525 |
Statements
Hypersequents and Systems of Rules (English)
0 references
10 August 2018
0 references
hypersequents
0 references
embedding between formalisms
0 references
intermediate logics
0 references
natural deduction
0 references
systems of rules
0 references
