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

Informations projet

ExtenDD

N° de convention de subvention: 101054714

DOI

10.3030/101054714

Date de signature de la CE 5 Septembre 2022

Date de début 1 Octobre 2022

Date de fin 30 Septembre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 629 775,00

Contribution de l’UE

€ 1 629 775,00

Coordonné par

UNIWERSYTET LODZKI
Poland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Peer reviewed articles (3)

Definite descriptions and hybrid tense logic

Auteurs: Andrzej Indrzejczak, Michał Zawidzki
Publié dans: Synthese, Numéro 202, 2023, ISSN 1573-0964
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s11229-023-04319-8

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Auteurs: Andrzej Indrzejczak, Yaroslav Petrukhin
Publié dans: Logic and Logical Philosophy, Numéro 33, 2024, ISSN 2300-9802
Éditeur: Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI: 10.12775/LLP.2024.019

NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS

Auteurs: NILS KÜRBIS
Publié dans: The Review of Symbolic Logic, 2024, ISSN 1755-0203
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/S1755020324000157

Book chapters (4)

Hybrid Modal Operators for Definite Descriptions

Auteurs: Przemysław Andrzej Wałȩga, Michał Zawidzki
Publié dans: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_48

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Auteurs: Andrzej Indrzejczak, Yaroslav Petrukhin
Publié dans: Lecture Notes in Computer Science, Automated Deduction – CADE 29, 2023
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-38499-8_19

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

Auteurs: Andrzej Indrzejczak
Publié dans: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_8

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

Auteurs: Andrzej Indrzejczak, Nils Kürbis
Publié dans: Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43513-3_7

Conference proceedings (1)

Expressive Power of Definite Descriptions in Modal Logics

Auteurs: Przemysław Andrzej Wałęga
Publié dans: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/65