Eugenio Orlandelli, Matteo Tesi. Labelled sequent calculi for logics of strict implication. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 625-642, College Publications, 2022.
@inproceedings{OrlandelliT22,
title = {Labelled sequent calculi for logics of strict implication},
author = {Eugenio Orlandelli and Matteo Tesi},
year = {2022},
researchr = {https://researchr.org/publication/OrlandelliT22},
cites = {0},
citedby = {0},
pages = {625-642},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022},
editor = {David Fernández Duque and Alessandra Palmigiano and Sophie Pinchinat},
publisher = {College Publications},
isbn = {978-1-84890-413-2},
}