Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete
Logic
2021-08-30 v1 Logic in Computer Science
Abstract
We show that relational hypersequent K4, S4, KB and RB, investigated in Parisi (2020) and Burns and Zach (2020) are cut-free hypersequent incomplete. In addition, the former two are also cut-free sequent and formula incomplete.
Cite
@article{arxiv.2108.12095,
title = {Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete},
author = {Kai Tanter},
journal= {arXiv preprint arXiv:2108.12095},
year = {2021}
}