@inproceedings{d5c26747a66f4f98895655a325c39d7c,

title = "A simple cut-free system for a paraconsistent logic equivalent to S5",

abstract = "NS5 is a paraconsistent logic in the classical language, which is equivalent to the well-known modal logic S5. We provide a particularly simple hypersequential system for the propositional NS5, and prove a strong cut-admissibility theorem for it. Our system is obtained from the standard hypersequential system for classical logic by just weakening its two rules for negation, and without introducing any new structural rule. We also explain how to extend the results to the natural first-order extension of NS5. The latter is equivalent to the Constant Domain first-order S5.",

keywords = "Cut-elimination, Hypersequents, Modal logic, Paraconsistent logic, S5",

author = "Arnon Avron and Ori Lahav",

note = "Publisher Copyright: {\textcopyright} 2018 College Publications. All rights reserved.; null ; Conference date: 27-08-2018 Through 31-08-2018",

year = "2018",

language = "אנגלית",

isbn = "1904987206",

series = "Advances in Modal Logic",

publisher = "College Publications",

pages = "29--42",

editor = "Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer",

booktitle = "12th Conference on {"}Advances in Modal Logic{"}, AiML 2018",

}