PLEXUS: Philosophical, Logical, and Experimental routes to substructurality

有一大类非经典逻辑属于子结构的范畴。在亚结构家族的逻辑中，最近的哲学文献特别关注可被称为“激进的亚结构逻辑”：非传递和非自反的自反逻辑，以及这些逻辑的变体和混合，这些逻辑是通过元延上升获得的。PLEXUS的总体目标是通过协调全球、跨代和跨传统的研究人员的努力，推进激进子结构逻辑的知识，加深我们对更广泛的子结构现象的理解。我们认为我们的项目以以下概念为特征：整合，交叉施肥和知识共享。这一总体目标可分为三个目标：哲学基础：研究激进的亚结构逻辑提出的主要哲学挑战。逻辑和应用：研究根本子结构逻辑的证明论和模型论特征及其逻辑语言应用。会议清单和会议证明程序：开发一个工具来测量naïve推理者对会议的偏好，并实现一个自动会议证明程序。

There is a large family of non-classical logics that fall under the heading of substructurality. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed "radically substructural logics": nontransitive 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 radical 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 our project characterised by the following concepts: integration, cross-fertilization and knowledge sharing.This general objective is articulated in three objectives:1. Philosophical Foundations: investigate the main philosophical challenges raised by radically substructural logics.2. Logic and applications: investigate proof-theoretic and model theoretic characterizations of radically substructural logics and their logico-linguistic applications.3. The Metainferences Inventory and Metainferences Prover: develop a tool to measure naïve reasoners' preferences on metainferences and implement an automatic metainferences prover.