Positive Fragment of MTL with One Variable and Its Computational Complexity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F09%3A00327989" target="_blank" >RIV/67985807:_____/09:00327989 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Positive Fragment of MTL with One Variable and Its Computational Complexity

Popis výsledku v původním jazyce

This abstract focuses on the computational complexity of Monoidal t-norm Based Logic, namely on its positive fragment. Since we are able to prove that this fragment is complete w.r.t. the class of 1-generated algebras, we obtain several consequences forits computational complexity. In particular, we show that up to some extent the computational complexity remains the same if we restrict the number of variables in our language to a single variable. These results were presented at the conference Topology, Algebra and Categories in Logic organized by University of Amsterdam in 2009.

Název v anglickém jazyce

Positive Fragment of MTL with One Variable and Its Computational Complexity

Popis výsledku anglicky

This abstract focuses on the computational complexity of Monoidal t-norm Based Logic, namely on its positive fragment. Since we are able to prove that this fragment is complete w.r.t. the class of 1-generated algebras, we obtain several consequences forits computational complexity. In particular, we show that up to some extent the computational complexity remains the same if we restrict the number of variables in our language to a single variable. These results were presented at the conference Topology, Algebra and Categories in Logic organized by University of Amsterdam in 2009.

Druh

O - Ostatní výsledky

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/KJB100300701" target="_blank" >KJB100300701: Složitost t-normových logik - algebraický a důkazově teoretický přístup</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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ů