Absorbing the structural rules in the sequent calculus with additional atomic rules.
| Autor: | Parlamento, Franco1 (AUTHOR) franco.parlamento@uniud.it, Previale, Flavio2 (AUTHOR) |
|---|---|
| Zdroj: | Archive for Mathematical Logic. May2020, Vol. 59 Issue 3/4, p389-408. 20p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|