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

Project Information

ExtenDD

Grant agreement ID: 101054714

DOI

10.3030/101054714

EC signature date 5 September 2022

Start date 1 October 2022

End date 30 September 2027

Funded under

• European Research Council (ERC)

Total cost

€ 1 629 775,00

EU contribution

€ 1 629 775,00

Coordinated by

UNIWERSYTET LODZKI
Poland

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

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Author(s): Andrzej Indrzejczak, Michał Zawidzki
Published in: Synthese, Issue 202, 2023, ISSN 1573-0964
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Author(s): Andrzej Indrzejczak, Yaroslav Petrukhin
Published in: Logic and Logical Philosophy, Issue 33, 2024, ISSN 2300-9802
Publisher: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Author(s): NILS KÜRBIS
Published in: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Publisher: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

Author(s): Przemysław Andrzej Wałȩga, Michał Zawidzki
Published in: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_48

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Author(s): Andrzej Indrzejczak, Yaroslav Petrukhin
Published in: Lecture Notes in Computer Science, Automated Deduction – CADE 29, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-38499-8_19

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

Author(s): Andrzej Indrzejczak
Published in: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_8

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

Author(s): Andrzej Indrzejczak, Nils Kürbis
Published in: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_7

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

Author(s): Przemysław Andrzej Wałęga
Published in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/65