Embedding the hypersequent calculus in the display calculus
2014 ◽
Vol 25
(3)
◽
pp. 921-942
◽
Keyword(s):
1996 ◽
pp. 93-121
◽
Keyword(s):
2014 ◽
Vol 26
(6)
◽
pp. 2067-2104
◽
2014 ◽
Vol 26
(6)
◽
pp. 2017-2065
◽
Keyword(s):
Keyword(s):