Philosophical, Logical, and Experimental routes to substructurality

Informacje na temat projektu

PLEXUS

Identyfikator umowy o grant: 101086295

DOI

10.3030/101086295

Data podpisania przez KE 18 Października 2022

Data rozpoczęcia 1 Stycznia 2023

Data zakończenia 31 Grudnia 2026

Finansowanie w ramach

• Marie Skłodowska-Curie Actions (MSCA)

Koszt całkowity

Brak danych

Wkład UE

€ 556 600,00

Koordynowany przez

UNIVERSIDAD DE NAVARRA
Spain

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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

Publikacje

Peer reviewed articles (32)

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

Autorzy: Quentin Blomet, Paul Égré
Opublikowane w: Journal of Philosophical Logic, Numer 53, 2024, ISSN 0022-3611
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive

Autorzy: Fiore, Camillo
Opublikowane w: Australasian Journal of Logic, Numer 21/2, 2024, ISSN 1448-5052
Wydawca: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics

Autorzy: Barrio, E.; Fiore, C.; Pailos, F.
Opublikowane w: The Review of Symbolic Logic, Numer 17/4, 2024, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/S175502032400011X

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

Autorzy: Francesco Paoli, Adam Přenosil
Opublikowane w: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter

Autorzy: Plebani, Matteo; Spolaore, Giuseppe
Opublikowane w: Philosophical Studies, Numer 181, 2024, ISSN 0031-8116
Wydawca: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language

Autorzy: Barrio, Eduardo; Bezerra, Edson
Opublikowane w: Asian Journal of Philosophy, Numer 3, 2024, ISSN 2731-4642
Wydawca: Springer
DOI: 10.1007/s44204-024-00140-3

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

Autorzy: Dopico, Pablo
Opublikowane w: Synthese, Numer 203, 2024, ISSN 0039-7857
Wydawca: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy

Autorzy: Paul Égré, Lorenzo Rossi, Jan Sprenger
Opublikowane w: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Wydawca: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic

Autorzy: Fiore, Camillo; Rosenblatt, Lucas
Opublikowane w: Mind, Numer 132/527, 2023, ISSN 0026-4423
Wydawca: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory

Autorzy: Emma Van Dijk, David Ripley, Julian Gutierrez
Opublikowane w: Bulletin of the Section of Logic, Numer 52, 2023, ISSN 2449-836X
Wydawca: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter

Autorzy: Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Opublikowane w: Principia. An International Journal of Epistemology, Numer 29/2, 2025, ISSN 1808-1711
Wydawca: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Autorzy: Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
Opublikowane w: Logic and Logical Philosophy, 2024, ISSN 2300-9802
Wydawca: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.029

A cut-free modal theory of consequence

Autorzy: Edson Bezerra
Opublikowane w: Asian Journal of Philosophy, Numer 4, 2024, ISSN 2731-4642
Wydawca: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale

Autorzy: Paul Égré
Opublikowane w: Revue de métaphysique et de morale, Numer N° 122, 2024, ISSN 0035-1571
Wydawca: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies

Autorzy: Dicher, Bogdan
Opublikowane w: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Wydawca: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence

Autorzy: Nicolai, Carlo; Rossi, Lorenzo
Opublikowane w: Studia Logica, Numer 111, 2023, ISSN 0039-3215
Wydawca: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics

Autorzy: Federico Pailos
Opublikowane w: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Wydawca: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

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

Autorzy: Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Opublikowane w: Studia Logica, Numer 112/6, 2024, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic

Autorzy: Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Opublikowane w: The Review of Symbolic Logic, Numer 17/3, 2023, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox

Autorzy: Lucas Rosenblatt
Opublikowane w: Analysis, 2024, ISSN 0003-2638
Wydawca: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic

Autorzy: Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Opublikowane w: Journal of Philosophical Logic, Numer 54, 2025, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic

Autorzy: Szmuc, Damian
Opublikowane w: Analysis, 2023, ISSN 0003-2638
Wydawca: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus

Autorzy: Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Opublikowane w: Logic Journal of the IGPL, Numer 33(3), 2025, ISSN 1367-0751
Wydawca: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis

Autorzy: Luca Incurvati, Carlo Nicolai
Opublikowane w: Erkenntnis, 2024, ISSN 0165-0106
Wydawca: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective

Autorzy: Álvarez Lisboa, Miguel
Opublikowane w: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Wydawca: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes

Autorzy: Bruni, Riccardo; Rossi, Lorenzo
Opublikowane w: Journal of Philosophical Logic, Numer 52, 2023, ISSN 0022-3611
Wydawca: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox

Autorzy: Rosenblatt, Lucas
Opublikowane w: Analysis, Numer 84(3), 2024, ISSN 0003-2638
Wydawca: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic

Autorzy: Cobreros, Pablo; Grábalos, Isabel; Toranzo Calderón, Joaquín; Viñeta, Javier; Zirattu, Martina
Opublikowane w: Studia Logica, 2025, ISSN 1572-8730
Wydawca: Springer
DOI: 10.1007/S11225-024-10166-6

Multilateral Supervaluationism and Classicality

Autorzy: Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Opublikowane w: Journal of Philosophical Logic, Numer 54, 2025, ISSN 0022-3611
Wydawca: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively

Autorzy: Fiore, Camillo
Opublikowane w: Journal of Philosophical Logic, Numer 53/6, 2024, ISSN 0022-3611
Wydawca: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional

Autorzy: Iacona, Andrea; Rossi, Lorenzo
Opublikowane w: Journal of Philosophical Logic, Numer 53, 2024, ISSN 0022-3611
Wydawca: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk

Autorzy: Fiore, Camillo
Opublikowane w: Analysis, 2023, ISSN 0003-2638
Wydawca: Oxford University Press
DOI: 10.1093/analys/anad049

Other (2)

On Classical Determinate Truth

Autorzy: Castaldo, L., Nicolai, C.
Opublikowane w: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream

Autorzy: Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Opublikowane w: 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

Autorzy: Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Opublikowane w: 2023

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

Autorzy: Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Opublikowane w: 2024
Wydawca: 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

Autorzy: Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Opublikowane w: 2023
Wydawca: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Book chapters (3)

Paradoxes, Contradictions and Circularity

Autorzy: Eduardo Barrio, Bruno Da Ré, Miguel Álvarez Lisboa
Opublikowane w: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_5

Paradoxes, Hypodoxes, and More

Autorzy: Camila Gallovich, Lucas Rosenblatt
Opublikowane w: Synthese Library, Paradoxes Between Truth and Proof, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth

Autorzy: Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
Opublikowane w: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_10