Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

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

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

Pubblicazioni

Definite descriptions and hybrid tense logic (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Hybrid Modal Operators for Definite Descriptions (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Expressive Power of Definite Descriptions in Modal Logics (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0