Luis Estrada-González, Miguel Ángel Trejo-Huerta. Connexivity Meets Church and Ackermann. In Natasha Alechina, Andreas Herzig, Fei Liang, editors, Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings. Volume 14329 of Lecture Notes in Computer Science, pages 77-85, Springer, 2023. [doi]
Abstract is missing.