Connexive Logics Workshop organized by Hitoshi Omori and Heinrich Wansing You can download here the poster Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic, namely
Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. Surveys of connexive logic can be found in:
Recently, connexive logics have received new attention. This workshop is meant to present current work on connexive logic and to stimulate future research. Call for papers Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:
Submissions of extended abstracts (up to five pages) should be sent to both organizers as a pdf file at hitoshiomori@gmail.com and Heinrich.Wansing@rub.de Deadline for submission: December 1st 2014. Notification of acceptance: December 31st 2014.
|
Keynote Speaker
Storrs McCall June 26, 2015 Contributing Speakers Thomas Macaulay Ferguson, City University of New York, USA, On Arithmetic Formulated Connexively Hitoshi Omori, City University of New York, USA, A Simple Connexive Extension of the Basic Relevant Logic BD Valeria de Paiva, Nuance Communciation, USA Connexive Logic and Textual Entailment Matthias Unterhuber, University of Bern, Switzerland, The Strange Status of The Principle of Conditional Non-Contradiction Heinrich Wansing, University of Bochum, Germany, Natural Deduction for Bi-connexive Logic
|