Strong & Weak Kleene Logics

The 22nd Trends in Logic workshop, entitled Strong & Weak Kleene Logics, will take place at the University of Cagliari (Cagliari, Italy) from 18-20 July 2022. It is organized by the ALOPHIS research group of the Department of Pedagogy, Psychological Sciences and Philosophy.

About the Workshop

While the strong three-valued logic of Kleene and the Logic of Paradox have long held a prominent place in the landscape of non-classical logics, the last decade has seen a resurgence of interest in related logics, including the Paraconsistent Weak Kleene logic (PWK) and Strict-Tolerant logics. These logics put their own twist on the idea of three truth values and accordingly they have varied philosophical readings and applications. Among other things, they represent logics of partial information, logics of nonsense, and logics of variable inclusion. Algebraic and proof-theoretic methods have successfully been brought to bear on these logics, but much remains to be explored. The aim of the workshop is to bring together researchers working on these various facets of logics related to the strong and weak Kleene systems, be they algebraic, proof-theoretic, or philosophical.

The workshop will be held in a hybrid format, with in-person as well as online sessions. In case conditions do not allow for sessions to be held in person, the workshop will move to a fully online format.

The workshop will be followed by another event on neighbouring topics, the second installment of Workshop on Relating Logics from July 22–23. 

The event is sponsored by Fondazione di Sardegna within the project "Resource sensitive reasoning and logic", Cagliari, CUP: F72F20000410007 and MUR (Italian Minister of University and Research) within the projects PRIN 2017: "Theory and applications of resource sensitive logics", CUP: 20173WKCM5 and "Logic and cognition. Theory, experiments, and applications", CUP: 2013YP4N3.