Workshop

MOSAIC-PLEXUS

a joint meeting of two research networks

funded by the Horizon Europe Framework Programme

The main goal of this meeting is to foster collaboration between researchers in both projects and to promote communication and cooperation with members of neighboring fields. In particular, we want to integrate the different approaches to Substructural Logics.

We want to bring together scholars researching substructuralism in a very wide sense and from several perspectives. It aims at developing already existing collaborations and creating new interdisciplinary groups of research, exposing one another to recent results, methods, and goals.

The meeting aims at presenting the multiple sides through which Substructural logics have been approached over the years, spanning from the more traditional focuses that can be traced back, to the more recent theoretical developments and applications of the subject.

About MOSAIC

The acronym MOSAIC stands for: Modalities in Substructural Logics: Theory, Methods and Applications.

Logic is a discipline that studies correct reasoning and true statements in a formal environment. Languages, deductive systems, syntax and semantics are its basic tools. Classical modal logics form a family of logics that focus on modes of truth, that is to say, they analyse if a statement is 'necessarily' or 'possibly' true, in a given situation. The EU-funded MOSAIC project is taking a closer look at modal logics based on the general setting of substructural logics. The latter are a wide class of formal systems including classical, intuitionistic, many-valued and paraconsistent logics, just to quote few. Beyond the theoretical analysis, the MOSAIC project also aims at developing tools and methods for substructural modal logics to impact several areas of applied science such as artificial intelligence, security and legal reasoning.

Find more information at https://sites.google.com/view/mosaic-rise/

About PLEXUS

The acronym PLEXUS stands for: Philosophical, Logical, and Experimental Routes to Substructurality.

There is a large family of non-classical logics that fall under the heading of substructurality. Since the first use of the term – around forty years ago – the interest of the scientific community in so-called substructural logics increased spectacularly. In effect, the search for «substructural logics» (quoting marks included) in Google Scholar renders around 4850 results distributed this way: 14 results between 1981 and 1990, 597 results between 1991 and 2000, 1450 between 2001 and 2010 and 2360 between 2011 and 2020. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed “radical substructurality”: non-transitive and non-reflexive reflexive logics, as well as variants and hybrids of these obtained by metainferential ascent. The overall goal of PLEXUS is to advance the knowledge of radically substructural logics and deepen our understanding of the broader phenomenon of substructurality, by coordinating the efforts of researchers across the globe, across generations, and across traditions. We see this project as characterised by the following concepts: integration, cross-fertilization and knowledge sharing.

Find more information at https://plexuslogic.wordpress.com/

Call for Papers

We invite contributions on any relevant aspects of Substructural logics, with particular interest in cross-disciplinary approaches. Typical but not exclusive areas of interest are:

Non-classical logics;
Novel computation models and paradigms;
Proof mining, type theory, effective learnability and explainable AI;
Logical approach to natural language and reasoning;
Foundational aspects of information organization, search, flow, sharing, and protection;
Philosophical logic;

Abstracts of contributed talks of 1-2 pages are to be prepared using the EasyChair class style and submitted via email to workshopmosaicplexus@gmail.com.