Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00372990" target="_blank" >RIV/67985807:_____/11:00372990 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11

Popis výsledku v původním jazyce

The main problem in this chapter is not whether a given predicate logic is decidable or not, but rather how undecidable it is, i.e. what is its undecidability degree. For the general semantics, the undecidability degrees are low. For the standard semantics, it depends: in the cases where we have standard completeness, like MTL or IMTL, the undecidability degrees are trivially as in the general semantics, in other cases, like Łukasiewicz first-order logic, the undecidability degrees are higher but stillin the arithmetical hierarchy, while in product logic or in BL logic both tautologicity and satisfiability for the standard semantics fall outside the arithmetical hierarchy.

Název v anglickém jazyce

Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11

Popis výsledku anglicky

The main problem in this chapter is not whether a given predicate logic is decidable or not, but rather how undecidable it is, i.e. what is its undecidability degree. For the general semantics, the undecidability degrees are low. For the standard semantics, it depends: in the cases where we have standard completeness, like MTL or IMTL, the undecidability degrees are trivially as in the general semantics, in other cases, like Łukasiewicz first-order logic, the undecidability degrees are higher but stillin the arithmetical hierarchy, while in product logic or in BL logic both tautologicity and satisfiability for the standard semantics fall outside the arithmetical hierarchy.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

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 knihy nebo sborníku

Handbook of Mathematical Fuzzy Logic

ISBN

978-1-84890-054-7

Počet stran výsledku

56

Strana od-do

853-908

Počet stran knihy

928

Název nakladatele

College Publications

Místo vydání

London

Kód UT WoS kapitoly

—