About: Complexity of t-norm based logics - algebraic and proof-theoretical approach     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Complexity issues belong among the most important parts of mathematical logic. Our proposal is focused on complexity of many-valued logics, especially those based on t-norms. It turns out that it is quite natural to consider a class of many-valued logics which are based on left-continuous t-norms; so-called Monoidal t-norm Logic (MTL). There are relatively many complexity results for t-norm based logics but all these results concerns only logics with continuous t-norms (e.g. Lukasiewicz, Goedel, or Hájek's Basic Fuzzy Logic). The complexity of the logics with left-continuous t-norms (i.e., logics between MTL and BL) remain still unknown. The existing methods which have been used so far for the logics with continuous t-norms rely mostly on algebraic methods. However, these methods are not directly applicable to the case of the logics with left-continuous t-norms. In order to solve these problems, we propose a certain combination of algebraic methods and proof-theoretical methods. (en)
  • Složitost jistě patří mezi nejdůležitější části matematické logiky. Náš návrhovaný projekt je zaměřen na složitost vícehodnotových logik, jejichž sémantika je založena na zleva spojitých t-normách. Základní logika nad kterou chceme pracovat je Monoidal T-norm Logic (MTL). Existuje relativně mnoho výsledků studijících složitost t-normových logik, ale všechny tyto výsledky se týkají pouze logik založených na spojitých t-normách (např. Lukasiewiczova logika, Goedelova logika nebo Hájkova BL). Složitost logik se zleva-spojitými t-normami (tj. logik mezi MTL a BL) je stále otevřený problém. Současné metody, které byly použity pro logiky se spojitými t-normami, byly především algebraického charakteru. Nicméně tyto metody nejsou přímo aplikovatelné na logiky mezi MTL a BL. V našem projektu proto tedy navrhujeme použít nejen algebraikého přístupu, ale použít ho v jisté kombinaci s důkazově teoretickým přístupem. (cs)
Title
  • Složitost t-normových logik - algebraický a důkazově teoretický přístup (cs)
  • Complexity of t-norm based logics - algebraic and proof-theoretical approach (en)
http://linked.open...vai/cislo-smlouvy
http://linked.open...avai/druh-souteze
http://linked.open...domain/vavai/faze
http://linked.open...vavai/hlavni-obor
http://linked.open...vai/vedlejsi-obor
http://linked.open...vavai/id-aktivity
http://linked.open.../vavai/id-souteze
http://linked.open...n/vavai/kategorie
http://linked.open...vai/klicova-slova
  • many-valued logic, fuzzy logic, monoidal t-norm logic, complexity, MTL-algebra, hypersequent calculi (en)
http://linked.open...avai/konec-reseni
http://linked.open...nujicich-prijemcu
http://linked.open...avai/poskytovatel
http://linked.open...avai/start-reseni
http://linked.open...ai/statni-podpora
http://linked.open...vavai/typProjektu
http://linked.open...ai/uznane-naklady
http://linked.open...ai/pocet-prijemcu
http://linked.open...cet-spoluprijemcu
http://linked.open...ai/pocet-vysledku
http://linked.open...ku-zverejnovanych
is http://linked.open...ain/vavai/projekt of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software