A Computational Glimpse at the Leibniz and Frege Hierarchies

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F18%3A00477047" target="_blank" >RIV/67985807:_____/18:00477047 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.apal.2017.07.003" target="_blank" >http://dx.doi.org/10.1016/j.apal.2017.07.003</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.apal.2017.07.003" target="_blank" >10.1016/j.apal.2017.07.003</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Computational Glimpse at the Leibniz and Frege Hierarchies

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

A Computational Glimpse at the Leibniz and Frege Hierarchies

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA13-14654S" target="_blank" >GA13-14654S: Neklasické výrokové a predikátové logiky: přístup založený na uspořádání</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

169

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

20

Strana od-do

1-20

Kód UT WoS článku

000416196700001

EID výsledku v databázi Scopus

2-s2.0-85026378538