Počet záznamů: 1
A Computational Glimpse at the Leibniz and Frege Hierarchies
- 1.
SYSNO ASEP 0477047 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název A Computational Glimpse at the Leibniz and Frege Hierarchies Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID Zdroj.dok. Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072
Roč. 169, č. 1 (2018), s. 1-20Poč.str. 20 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova abstract algebraic logic ; Leibniz hierarchy ; Frege hierarchy Leibniz congruence ; decidability ; Diophantine equations ; relation algebras Vědní obor RIV BA - Obecná matematika Obor OECD Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) CEP GA13-14654S GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000416196700001 EID SCOPUS 85026378538 DOI 10.1016/j.apal.2017.07.003 Anotace In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2019
Počet záznamů: 1