Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Bednarska, Kaja and Indrzejczak, Andrzej. 2015. “Hypersequent Calculi for S5: The Methods of Cut Elimination.”Logic and Logical Philosophy 24(3): 277–311.