A Formal Framework for Hypersequent Calculi and Their Fibring (Q5258963)
From MaRDI portal
scientific article; zbMATH DE number 6449625
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Formal Framework for Hypersequent Calculi and Their Fibring |
scientific article; zbMATH DE number 6449625 |
Statements
A Formal Framework for Hypersequent Calculi and Their Fibring (English)
0 references
24 June 2015
0 references
hypersequents
0 references
fibring
0 references
translation between logics
0 references
