TY - JOUR
T1 - Superconnexivity Reconsidered
AU - Kapsner, Andreas
AU - Omori, Hitoshi
N1 - Funding Information:
*The research by Andreas Kapsner has been supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), Project 436508789. Moreover, the research by Hitoshi Omori has been supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research. We would like to thank the audience in Bochum for their comments on an earlier version of this paper. In particular, our special thanks goes to Francesco Paoli for extremely fruitful discussions. Finally, but not the least, we would also like to thank the anonymous referees for their supportive, careful and helpful comments. 1For an overview of connexive logic, see [11, 22].
Publisher Copyright:
© A. Kapsner & H. Omori
PY - 2022/4/14
Y1 - 2022/4/14
N2 - We reconsider the idea of superconnexivity, an idea that has not received much attention so far. We inspect more closely the problems with the proposal that are responsible for this disregard. However, we also suggest a slight modification of the idea that has a much better chance of delivering the desired results, which we call super-bot-connexivity.
AB - We reconsider the idea of superconnexivity, an idea that has not received much attention so far. We inspect more closely the problems with the proposal that are responsible for this disregard. However, we also suggest a slight modification of the idea that has a much better chance of delivering the desired results, which we call super-bot-connexivity.
UR - http://www.scopus.com/inward/record.url?scp=85130432405&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85130432405&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.358.12
DO - 10.4204/EPTCS.358.12
M3 - Conference article
AN - SCOPUS:85130432405
SN - 2075-2180
VL - 358
SP - 160
EP - 173
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
T2 - 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022
Y2 - 14 March 2022 through 18 March 2022
ER -