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

Informacje na temat projektu

ExtenDD

Identyfikator umowy o grant: 101054714

DOI

10.3030/101054714

Data podpisania przez KE 5 Września 2022

Data rozpoczęcia 1 Października 2022

Data zakończenia 30 Września 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 629 775,00

Wkład UE

€ 1 629 775,00

Koordynowany przez

UNIWERSYTET LODZKI
Poland

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publikacje

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Autorzy: Andrzej Indrzejczak, Michał Zawidzki
Opublikowane w: Synthese, Numer 202, 2023, ISSN 1573-0964
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Autorzy: Andrzej Indrzejczak, Yaroslav Petrukhin
Opublikowane w: Logic and Logical Philosophy, Numer 33, 2024, ISSN 2300-9802
Wydawca: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Autorzy: NILS KÜRBIS
Opublikowane w: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Wydawca: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

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

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

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

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

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

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

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

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

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