Translation of hypersequents into display sequents.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 719, doi. 10.1093/jigpal/6.5.719
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 5
Results: 7
1
2
An analysis of (linear) exponentials based on extended sequents.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 735, doi. 10.1093/jigpal/6.5.735
- By:
- Publication type:
- Article
3
A relational formalisation of arbitrary finite valued logics.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 755, doi. 10.1093/jigpal/6.5.755
- By:
- Publication type:
- Article
4
Extended disjunction and existence properties for some predicate modal logics.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 775, doi. 10.1093/jigpal/6.5.775
- By:
- Publication type:
- Article
5
Two types of multiple-conclusion systems.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 695, doi. 10.1093/jigpal/6.5.695
- By:
- Publication type:
- Article
6
Gaggles, Gentzen and Galois: how to display your favourite substructural logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 669, doi. 10.1093/jigpal/6.5.669
- By:
- Publication type:
- Article
7
Editorial.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 667, doi. 10.1093/jigpal/6.5.667
- By:
- Publication type:
- Article