PLEXUS

Cross-fertilisation. The current research on non-transitive and non-reflexive substructural logics has led to a significant body of knowledge that is ready to be pushed to the next level by the cross-fertilization with knowledge in other disciplines. PLEXUS aims to take the first steps towards the design, validation and test of a psychometrical tool to measure naïve speakers' preferences on structural rules as well as the implementation of theorem provers for radically substructural logics... KEYWORDS: SUBSTRUCTURAL LOGICS, METAINFERENCES, EXPERIMENTAL PHILOSOPHICAL LOGIC CORDIS EU Research Results Horizon Europe Framework Programme (HORIZON) MSCA Staff Exchanges 2021 (HORIZON-MSCA-2021-SE-01) 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.