1. Abramsky, S., McCusker, G.: Game semantics. In: Schwichtenberg, H., Berger, U. (eds.) Computational Logic, pp. 1–56. Springer, Berlin (1999)
2. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence 4(3-4), 225–248 (1991)
3. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Cut-elimination in a sequents-of-relations calculus for Gödel logic. In: 31st International Symposium on Multiple Valued Logic (ISMVL 2001), pp. 181–186. IEEE, Los Alamitos (2001)
4. Lecture Notes in Computer Science;M. Baaz,1999
5. Barth, E.M., Krabbe, E.C.W.: From Axiom to Dialogue. De Gruyter, Berlin (1982)