Modern co nnexive logic started in the 1960s with seminal pa pers by Richard B. Angell and Storrs McCall. Syste ms of connexive logic have been motivated by consi derations on a content connection between the ante cedent and succedent of valid implications and by applications that range from Aristotle's syllogist ic to Categorial Grammar and the study of causal i mplications. As we are observing some growing inte rests in topics related to connexive logics, the f ourth workshop aims at discussing directions for f uture research in connexive logics. Moreover, we w ill have a special session on contra-classical log ics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal t o classical logic.
\nAny pape rs related to connexive logics, as well as contra- classical logics, are welcome.Submissions of exten ded abstracts (up to five pages) should be sent to both organizers.
\n