Philosophical, Logical, and Experimental routes to substructurality

Project Information

PLEXUS

Grant agreement ID: 101086295

DOI

10.3030/101086295

EC signature date 18 October 2022

Start date 1 January 2023

End date 31 December 2026

Funded under

• Marie Skłodowska-Curie Actions (MSCA)

Total cost

No data

EU contribution

€ 556 600,00

Coordinated by

UNIVERSIDAD DE NAVARRA
Spain

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Documents, reports (4)

MI Inventory

This deliverable is the inventory result of the four-phase process of conceptualization, design, pretesting and debriefing of the metainferences inventory (tasks 3.1 to 3.4) together with a technical report on this research process.

Intermediate tech. report WP1

This deliverable is a technical report on the progress in tasks: 1.1. Identity criteria for logical theories,1.2. Contributions to proof-theoretic semantics in relation to radically substructural logics and metainferences,1.3. Metainferential hierarchies and the interpretation of sequents; metainferential substructurality: philosophical perspectives.

Intermediate technical report WP2

This deliverable is a technical report on the results in tasks: 1.1. Analysis of metainferential validity: proof-theoretic and model-theoretic characterizations, hierarchies of metainferential logics, and duality,1.3. Applications of substructural logic to reasoning under uncertainty.As well as a technical report in the progress in task,1.2. Applications of substructural and radically substructural logics to theories of truth and paradox.

Dissemination and Communication Plan

This deliverable includes the dissemination and communication plan for the PLEXUS project internal communication as well as dissemination of the action how to reach the different target audiences

Data Management Plan (1)

Data Management Plan

Data management plan

Publications

Peer reviewed articles (32)

$$\textsf{ST}$$ and $$\textsf{TS}$$ as Product and Sum

Author(s): Quentin Blomet, Paul Égré
Published in: Journal of Philosophical Logic, Issue 53, 2024, ISSN 0022-3611
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive

Author(s): Fiore, Camillo
Published in: Australasian Journal of Logic, Issue 21/2, 2024, ISSN 1448-5052
Publisher: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics

Author(s): Barrio, E.; Fiore, C.; Pailos, F.
Published in: The Review of Symbolic Logic, Issue 17/4, 2024, ISSN 1755-0203
Publisher: Cambridge University Press
DOI: 10.1017/S175502032400011X

Sequent Calculi for First-order $$\textrm{ST}$$

Author(s): Francesco Paoli, Adam Přenosil
Published in: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter

Author(s): Plebani, Matteo; Spolaore, Giuseppe
Published in: Philosophical Studies, Issue 181, 2024, ISSN 0031-8116
Publisher: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language

Author(s): Barrio, Eduardo; Bezerra, Edson
Published in: Asian Journal of Philosophy, Issue 3, 2024, ISSN 2731-4642
Publisher: Springer
DOI: 10.1007/s44204-024-00140-3

A defense of Isaacson’s thesis, or how tomake sense of the boundaries of finitemathematics

Author(s): Dopico, Pablo
Published in: Synthese, Issue 203, 2024, ISSN 0039-7857
Publisher: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy

Author(s): Paul Égré, Lorenzo Rossi, Jan Sprenger
Published in: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Publisher: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic

Author(s): Fiore, Camillo; Rosenblatt, Lucas
Published in: Mind, Issue 132/527, 2023, ISSN 0026-4423
Publisher: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory

Author(s): Emma Van Dijk, David Ripley, Julian Gutierrez
Published in: Bulletin of the Section of Logic, Issue 52, 2023, ISSN 2449-836X
Publisher: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter

Author(s): Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Published in: Principia. An International Journal of Epistemology, Issue 29/2, 2025, ISSN 1808-1711
Publisher: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Author(s): Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
Published in: Logic and Logical Philosophy, 2024, ISSN 2300-9802
Publisher: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.029

A cut-free modal theory of consequence

Author(s): Edson Bezerra
Published in: Asian Journal of Philosophy, Issue 4, 2024, ISSN 2731-4642
Publisher: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale

Author(s): Paul Égré
Published in: Revue de métaphysique et de morale, Issue N° 122, 2024, ISSN 0035-1571
Publisher: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies

Author(s): Dicher, Bogdan
Published in: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Publisher: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence

Author(s): Nicolai, Carlo; Rossi, Lorenzo
Published in: Studia Logica, Issue 111, 2023, ISSN 0039-3215
Publisher: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics

Author(s): Federico Pailos
Published in: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Publisher: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic

Author(s): Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Published in: Studia Logica, Issue 112/6, 2024, ISSN 0039-3215
Publisher: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic

Author(s): Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Published in: The Review of Symbolic Logic, Issue 17/3, 2023, ISSN 1755-0203
Publisher: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox

Author(s): Lucas Rosenblatt
Published in: Analysis, 2024, ISSN 0003-2638
Publisher: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic

Author(s): Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Published in: Journal of Philosophical Logic, Issue 54, 2025, ISSN 0022-3611
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic

Author(s): Szmuc, Damian
Published in: Analysis, 2023, ISSN 0003-2638
Publisher: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus

Author(s): Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Published in: Logic Journal of the IGPL, Issue 33(3), 2025, ISSN 1367-0751
Publisher: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis

Author(s): Luca Incurvati, Carlo Nicolai
Published in: Erkenntnis, 2024, ISSN 0165-0106
Publisher: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective

Author(s): Álvarez Lisboa, Miguel
Published in: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Publisher: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes

Author(s): Bruni, Riccardo; Rossi, Lorenzo
Published in: Journal of Philosophical Logic, Issue 52, 2023, ISSN 0022-3611
Publisher: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox

Author(s): Rosenblatt, Lucas
Published in: Analysis, Issue 84(3), 2024, ISSN 0003-2638
Publisher: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic

Author(s): Cobreros, Pablo; Grábalos, Isabel; Toranzo Calderón, Joaquín; Viñeta, Javier; Zirattu, Martina
Published in: Studia Logica, 2025, ISSN 1572-8730
Publisher: Springer
DOI: 10.1007/S11225-024-10166-6

Multilateral Supervaluationism and Classicality

Author(s): Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Published in: Journal of Philosophical Logic, Issue 54, 2025, ISSN 0022-3611
Publisher: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively

Author(s): Fiore, Camillo
Published in: Journal of Philosophical Logic, Issue 53/6, 2024, ISSN 0022-3611
Publisher: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional

Author(s): Iacona, Andrea; Rossi, Lorenzo
Published in: Journal of Philosophical Logic, Issue 53, 2024, ISSN 0022-3611
Publisher: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk

Author(s): Fiore, Camillo
Published in: Analysis, 2023, ISSN 0003-2638
Publisher: Oxford University Press
DOI: 10.1093/analys/anad049

Other (2)

On Classical Determinate Truth

Author(s): Castaldo, L., Nicolai, C.
Published in: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream

Author(s): Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Published in: arXiv:2407.14766 [cs.LG], 2024
DOI: 10.48550/arXiv.2407.14766

Conference proceedings (3)

Un traitement hybride du vague textuel: du système expert VAGO à son clone neuronal

Author(s): Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Published in: 2023

HYBRINFOX at CheckThat! 2024 – Task 2: Enriching BERT Models with the Expert System VAGO for Subjectivity Detection

Author(s): Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Published in: 2024
Publisher: Conference and Labs of the Evaluation Forum (CLEF 2024)
DOI: 10.48550/ARXIV.2407.03770

Measuring vagueness and subjectivity in texts: from symbolic to neural VAGO

Author(s): Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Published in: 2023
Publisher: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Book chapters (3)

Paradoxes, Contradictions and Circularity

Author(s): Eduardo Barrio, Bruno Da Ré, Miguel Álvarez Lisboa
Published in: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_5

Paradoxes, Hypodoxes, and More

Author(s): Camila Gallovich, Lucas Rosenblatt
Published in: Synthese Library, Paradoxes Between Truth and Proof, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth

Author(s): Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
Published in: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_10