On the complexity of the Leibniz hierarchy

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00503852" target="_blank" >RIV/67985807:_____/19:00503852 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.apal.2019.02.003" target="_blank" >http://dx.doi.org/10.1016/j.apal.2019.02.003</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2019.02.003" target="_blank" >10.1016/j.apal.2019.02.003</a>

Jazyk výsledku
angličtina
Název v původním jazyce
On the complexity of the Leibniz hierarchy
Popis výsledku v původním jazyce
We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and protoalgebraic logics. Finally, the same problem for the class of truth-equational logic is shown to be hard for EXPTIME.
Název v anglickém jazyce
On the complexity of the Leibniz hierarchy
Popis výsledku anglicky
We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and protoalgebraic logics. Finally, the same problem for the class of truth-equational logic is shown to be hard for EXPTIME.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2019
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ů

Podobné výsledky(10)