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

Información del proyecto

ExtenDD

Identificador del acuerdo de subvención: 101054714

DOI

10.3030/101054714

Fecha de la firma de la CE 5 Septiembre 2022

Fecha de inicio 1 Octubre 2022

Fecha de finalización 30 Septiembre 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 629 775,00

Aportación de la UE

€ 1 629 775,00

Coordinado por

UNIWERSYTET LODZKI
Poland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publicaciones

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Autores: Andrzej Indrzejczak, Michał Zawidzki
Publicado en: Synthese, Edición 202, 2023, ISSN 1573-0964
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Autores: Andrzej Indrzejczak, Yaroslav Petrukhin
Publicado en: Logic and Logical Philosophy, Edición 33, 2024, ISSN 2300-9802
Editor: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Autores: NILS KÜRBIS
Publicado en: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Editor: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

Autores: Przemysław Andrzej Wałȩga, Michał Zawidzki
Publicado en: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2024
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_48

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Autores: Andrzej Indrzejczak, Yaroslav Petrukhin
Publicado en: Lecture Notes in Computer Science, Automated Deduction – CADE 29, 2023
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-38499-8_19

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

Autores: Andrzej Indrzejczak
Publicado en: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_8

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

Autores: Andrzej Indrzejczak, Nils Kürbis
Publicado en: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_7

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

Autores: Przemysław Andrzej Wałęga
Publicado en: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/65