Filtry
Positive Fragment of MTL with One Variable and Its Computational Complexity
BA - Obecná matematika
- 2009 •
- O
Rok uplatnění
O - Ostatní výsledky
On the Independence of Axioms in BL and MTL
BA - Obecná matematika
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Observations on the Monoidal t-norm Logic.
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Alternativní důkaz standardní úplnosti logiky MTL
V tomto článku je prezentován alternativní důkaz věty o standardní úplnosti monoidální t-normové logiky (MTL). Navíc obdržíme silnější tvrzení, protože ukážeme, že MTL je úplná vzhledem k třídě standardních MTL-algeber s ko...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Strong Standard Completeness in Some MTL-Delta Expansions
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Rozhodnutelnost kancelativního rozšíření monoidální t-normové logiky
Článek ukazuje, že kancelativní rozšíření monoidální t-normové logiky je rozhodnutelné. Stejný výsledek platí také pro konečnou relaci důsledku....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Fleas and Fuzzy Logic: A Survey.
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Algorithm to Generate the Archimedean, Finite, Negative Tomonoids
BA - Obecná matematika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Věta o standardní úplnosti logiky PiMTL
PiMTL je schematické rozšíření Monoidal T-norm Based Logic (MTL) o axiomy charakteristické produktové logice. V tomto článku ukazujeme, že PiMTL splňuje větu o standardní úplnosti. Z algebraického...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
PiMTL nemá silnou standardní úplnost pro nekonečné teorie
Je dobře známo, že Hájkova Basic Fuzzy Logic (BL), Lukasiewiczova logika a produktová logika nejsou silně standardně úplné. Na druhou stranu monoidální t-normová logika MTL a její involutivní rozš...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 29 050