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

Informazioni relative al progetto

ExtenDD

ID dell’accordo di sovvenzione: 101054714

DOI

10.3030/101054714

Data della firma CE 5 Settembre 2022

Data di avvio 1 Ottobre 2022

Data di completamento 30 Settembre 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 629 775,00

Contributo UE

€ 1 629 775,00

Coordinato da

UNIWERSYTET LODZKI
Poland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Pubblicazioni

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Autori: Andrzej Indrzejczak, Michał Zawidzki
Pubblicato in: Synthese, Numero 202, 2023, ISSN 1573-0964
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Autori: Andrzej Indrzejczak, Yaroslav Petrukhin
Pubblicato in: Logic and Logical Philosophy, Numero 33, 2024, ISSN 2300-9802
Editore: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Autori: NILS KÜRBIS
Pubblicato in: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Editore: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

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

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

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

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

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

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

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

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

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