Positive Fragment of MTL with One Variable and Its Computational Complexity

Kód výsledku v IS VaVaI

RIV/67985807:_____/09:00327989 - isvavai.cz

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

KJB100300701: Složitost t-normových logik - algebraický a důkazově teoretický přístup

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
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ů