Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Philosophical, Logical, and Experimental routes to substructurality

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

MI Inventory (öffnet in neuem Fenster)

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 (öffnet in neuem Fenster)

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 (öffnet in neuem Fenster)

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 (öffnet in neuem Fenster)

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

Veröffentlichungen

$$\textsf{ST}$$ and $$\textsf{TS}$$ as Product and Sum (öffnet in neuem Fenster)

Autoren: Quentin Blomet, Paul Égré
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 53, 2024, ISSN 0022-3611
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09778-z

Classical Logic is Connexive (öffnet in neuem Fenster)

Autoren: Fiore, Camillo
Veröffentlicht in: Australasian Journal of Logic, Ausgabe 21/2, 2024, ISSN 1448-5052
Herausgeber: Victoria University of Wellington
DOI: 10.26686/ajl.v21i2.8352

Meta-Classical Non-Classical Logics (öffnet in neuem Fenster)

Autoren: Barrio, E.; Fiore, C.; Pailos, F.
Veröffentlicht in: The Review of Symbolic Logic, Ausgabe 17/4, 2024, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/S175502032400011X

Sequent Calculi for First-order $$\textrm{ST}$$ (öffnet in neuem Fenster)

Autoren: Francesco Paoli, Adam Přenosil
Veröffentlicht in: Journal of Philosophical Logic, 2024, ISSN 0022-3611
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s10992-024-09766-3

Predicative subject matter (öffnet in neuem Fenster)

Autoren: Plebani, Matteo; Spolaore, Giuseppe
Veröffentlicht in: Philosophical Studies, Ausgabe 181, 2024, ISSN 0031-8116
Herausgeber: Springer
DOI: 10.1007/s11098-023-02081-8

The logics of a universal language (öffnet in neuem Fenster)

Autoren: Barrio, Eduardo; Bezerra, Edson
Veröffentlicht in: Asian Journal of Philosophy, Ausgabe 3, 2024, ISSN 2731-4642
Herausgeber: Springer
DOI: 10.1007/s44204-024-00140-3

A defense of Isaacson’s thesis, or how tomake sense of the boundaries of finitemathematics (öffnet in neuem Fenster)

Autoren: Dopico, Pablo
Veröffentlicht in: Synthese, Ausgabe 203, 2024, ISSN 0039-7857
Herausgeber: Springer
DOI: 10.1007/S11229-024-04488-0

Australasian Journal of Philosophy (öffnet in neuem Fenster)

Autoren: Paul Égré, Lorenzo Rossi, Jan Sprenger
Veröffentlicht in: Australasian Journal of Philosophy, 2025, ISSN 0004-8402
Herausgeber: Australasian Association of Psychology and Philosophy
DOI: 10.48550/ARXIV.2207.08276

Recapture Results and Classical Logic (öffnet in neuem Fenster)

Autoren: Fiore, Camillo; Rosenblatt, Lucas
Veröffentlicht in: Mind, Ausgabe 132/527, 2023, ISSN 0026-4423
Herausgeber: Oxford University Press
DOI: 10.1093/mind/fzad006

Core Type Theory (öffnet in neuem Fenster)

Autoren: Emma Van Dijk, David Ripley, Julian Gutierrez
Veröffentlicht in: Bulletin of the Section of Logic, Ausgabe 52, 2023, ISSN 2449-836X
Herausgeber: Uniwersytet Lodzki (University of Lodz)
DOI: 10.18778/0138-0680.2023.19

Philosophical Interpretations Matter (öffnet in neuem Fenster)

Autoren: Barrio, Eduardo; Bezerra, Edson; da Ré, Bruno
Veröffentlicht in: Principia. An International Journal of Epistemology, Ausgabe 29/2, 2025, ISSN 1808-1711
Herausgeber: Universidade Federal de Santa Catarina (UFSC)
DOI: 10.5007/1808-1711.2025.E107900

Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms (öffnet in neuem Fenster)

Autoren: Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
Veröffentlicht in: Logic and Logical Philosophy, 2024, ISSN 2300-9802
Herausgeber: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.029

A cut-free modal theory of consequence (öffnet in neuem Fenster)

Autoren: Edson Bezerra
Veröffentlicht in: Asian Journal of Philosophy, Ausgabe 4, 2024, ISSN 2731-4642
Herausgeber: Springer
DOI: 10.1007/s44204-024-00220-4

Revue de Metaphysique et de Morale (öffnet in neuem Fenster)

Autoren: Paul Égré
Veröffentlicht in: Revue de métaphysique et de morale, Ausgabe N° 122, 2024, ISSN 0035-1571
Herausgeber: Presses Universitaires de France
DOI: 10.3917/RMM.242.0243

Substructural heresies (öffnet in neuem Fenster)

Autoren: Dicher, Bogdan
Veröffentlicht in: Inquiry. An Interdisciplinar Journal of Philosophy, 2023, ISSN 0020-174X
Herausgeber: Taylor & Francis
DOI: 10.1080/0020174X.2023.2254816

Systems for Non-Reflexive Consequence (öffnet in neuem Fenster)

Autoren: Nicolai, Carlo; Rossi, Lorenzo
Veröffentlicht in: Studia Logica, Ausgabe 111, 2023, ISSN 0039-3215
Herausgeber: Springer
DOI: 10.1007/s11225-023-10049-2

Inferential-connexive mixed logics (öffnet in neuem Fenster)

Autoren: Federico Pailos
Veröffentlicht in: Logic Journal of the IGPL, 2024, ISSN 1367-0751
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/jigpal/jzae116

Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic (öffnet in neuem Fenster)

Autoren: Bruno Da Ré; Damian Szmuc; María Inés Corbalán
Veröffentlicht in: Studia Logica, Ausgabe 112/6, 2024, ISSN 0039-3215
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/S11225-023-10086-X

On three-valued presentations of classical logic (öffnet in neuem Fenster)

Autoren: Da Re, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul
Veröffentlicht in: The Review of Symbolic Logic, Ausgabe 17/3, 2023, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/S1755020323000114

A normal paradox (öffnet in neuem Fenster)

Autoren: Lucas Rosenblatt
Veröffentlicht in: Analysis, 2024, ISSN 0003-2638
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/analys/anad087

Journal of Philosophical Logic (öffnet in neuem Fenster)

Autoren: Bas Kortenbach; Luca Incurvati; Julian J. Schloeder
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 54, 2025, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-025-09786-7

Non-transitive counterparts of every Tarskian logic (öffnet in neuem Fenster)

Autoren: Szmuc, Damian
Veröffentlicht in: Analysis, 2023, ISSN 0003-2638
Herausgeber: Oxford University Press
DOI: 10.1093/analys/anad062

The higher dimensional propositional calculus (öffnet in neuem Fenster)

Autoren: Bucciarelli, A., Curien, P.-L., Ledda, A., Paoli, F. Salibra, A.
Veröffentlicht in: Logic Journal of the IGPL, Ausgabe 33(3), 2025, ISSN 1367-0751
Herausgeber: Oxford Academic
DOI: 10.1093/JIGPAL/JZAE100

Erkenntnis (öffnet in neuem Fenster)

Autoren: Luca Incurvati, Carlo Nicolai
Veröffentlicht in: Erkenntnis, 2024, ISSN 0165-0106
Herausgeber: Reidel
DOI: 10.1007/S10670-024-00835-2

Intuitionistic Logic from a Metainferential Perspective (öffnet in neuem Fenster)

Autoren: Álvarez Lisboa, Miguel
Veröffentlicht in: Logic and Logical Philosophy, 2025, ISSN 1425-3305
Herausgeber: Nicolaus Copernicus University
DOI: 10.12775/LLP.2025.006

Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes (öffnet in neuem Fenster)

Autoren: Bruni, Riccardo; Rossi, Lorenzo
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 52, 2023, ISSN 0022-3611
Herausgeber: Springer
DOI: 10.1007/s10992-023-09721-8

A normal paradox (öffnet in neuem Fenster)

Autoren: Rosenblatt, Lucas
Veröffentlicht in: Analysis, Ausgabe 84(3), 2024, ISSN 0003-2638
Herausgeber: Oxford University Press
DOI: 10.1093/ANALYS/ANAD087

On a Generalization of all Strong Kleene Generalizations of Classical Logic (öffnet in neuem Fenster)

Autoren: Cobreros, Pablo; Grábalos, Isabel; Toranzo Calderón, Joaquín; Viñeta, Javier; Zirattu, Martina
Veröffentlicht in: Studia Logica, 2025, ISSN 1572-8730
Herausgeber: Springer
DOI: 10.1007/S11225-024-10166-6

Multilateral Supervaluationism and Classicality (öffnet in neuem Fenster)

Autoren: Kortenbach, Bas; Incurvati, Luca; Schloeder, Julian
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 54, 2025, ISSN 0022-3611
Herausgeber: Springer
DOI: 10.1007/S10992-025-09786-7

Reading Conclusions Conjunctively (öffnet in neuem Fenster)

Autoren: Fiore, Camillo
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 53/6, 2024, ISSN 0022-3611
Herausgeber: Springer
DOI: 10.1007/S10992-024-09776-1

Naïve Truth and the Evidential Conditional (öffnet in neuem Fenster)

Autoren: Iacona, Andrea; Rossi, Lorenzo
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 53, 2024, ISSN 0022-3611
Herausgeber: Springer
DOI: 10.1007/S10992-024-09749-4

A Structural Tonk (öffnet in neuem Fenster)

Autoren: Fiore, Camillo
Veröffentlicht in: Analysis, 2023, ISSN 0003-2638
Herausgeber: Oxford University Press
DOI: 10.1093/analys/anad049

On Classical Determinate Truth (öffnet in neuem Fenster)

Autoren: Castaldo, L., Nicolai, C.
Veröffentlicht in: arXiv:2409.04316 [math.LO], 2024
DOI: 10.48550/arXiv.2409.04316

Implementing Fairness: the view from a FairDream (öffnet in neuem Fenster)

Autoren: Souverain, Th., Nguyen, J., Meric, N., Égré, P.
Veröffentlicht in: arXiv:2407.14766 [cs.LG], 2024
DOI: 10.48550/arXiv.2407.14766

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

Autoren: Icard, B., Claveau, V., Atemezing, G., Egré, P.,
Veröffentlicht in: 2023

HYBRINFOX at CheckThat! 2024 – Task 2: Enriching BERT Models with the Expert System VAGO for Subjectivity Detection (öffnet in neuem Fenster)

Autoren: Casanova, M., Chanson, J., Icard, B., Faye, G., Gadek, G., Gravier, G., Égré, P.
Veröffentlicht in: 2024
Herausgeber: 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 (öffnet in neuem Fenster)

Autoren: Icard, Benjamin; Claveau, Vincent; Atemezing, Ghislain; Égré, Paul
Veröffentlicht in: 2023
Herausgeber: The Institute of Electrical and Electronics Engineers
DOI: 10.48550/ARXIV.2309.06132

Paradoxes, Contradictions and Circularity (öffnet in neuem Fenster)

Autoren: Eduardo Barrio, Bruno Da Ré, Miguel Álvarez Lisboa
Veröffentlicht in: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_5

Paradoxes, Hypodoxes, and More (öffnet in neuem Fenster)

Autoren: Camila Gallovich, Lucas Rosenblatt
Veröffentlicht in: Synthese Library, Paradoxes Between Truth and Proof, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_7

Tolerance and Degrees of Truth (öffnet in neuem Fenster)

Autoren: Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
Veröffentlicht in: Synthese Library, Paradoxes Between Truth and Proof, 2024, ISSN 0166-6991
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74527-0_10

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0