Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms

Projektinformationen

ExtenDD

ID Finanzhilfevereinbarung: 101054714

DOI

10.3030/101054714

EK-Unterschriftsdatum 5 September 2022

Startdatum 1 Oktober 2022

Enddatum 30 September 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 629 775,00

EU-Beitrag

€ 1 629 775,00

Koordiniert durch

UNIWERSYTET LODZKI
Poland

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

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Veröffentlichungen

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Autoren: Andrzej Indrzejczak, Michał Zawidzki
Veröffentlicht in: Synthese, Ausgabe 202, 2023, ISSN 1573-0964
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Autoren: Andrzej Indrzejczak, Yaroslav Petrukhin
Veröffentlicht in: Logic and Logical Philosophy, Ausgabe 33, 2024, ISSN 2300-9802
Herausgeber: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Autoren: NILS KÜRBIS
Veröffentlicht in: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

Autoren: Przemysław Andrzej Wałȩga, Michał Zawidzki
Veröffentlicht in: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_48

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Autoren: Andrzej Indrzejczak, Yaroslav Petrukhin
Veröffentlicht in: Lecture Notes in Computer Science, Automated Deduction – CADE 29, 2023
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-38499-8_19

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators

Autoren: Andrzej Indrzejczak
Veröffentlicht in: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_8

A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions

Autoren: Andrzej Indrzejczak, Nils Kürbis
Veröffentlicht in: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_7

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

Autoren: Przemysław Andrzej Wałęga
Veröffentlicht in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/65