Arnon Avron, Ori Lahav. A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 29-42, College Publications, 2018. [doi]
@inproceedings{AvronL18,
title = {A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5},
author = {Arnon Avron and Ori Lahav},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Avron-Lahav.pdf},
researchr = {https://researchr.org/publication/AvronL18},
cites = {0},
citedby = {0},
pages = {29-42},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018},
editor = {Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer},
publisher = {College Publications},
isbn = {978-1-84890-255-8},
}