Filtry
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
Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Omitting Types Theorem for Fuzzy Logics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Standard Algebras for Fuzzy Propositional Calculi.
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Dva príklady konštrukcií triangulárnych noriem
Popisujeme niektoré zaujímavé konštrukcie nespojitých t-noriem...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions
BA - Obecná matematika
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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 hlediska to znamená, že třída standardních P...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Jak udělat deskripční logiku obecnější
Je prezentována verze fuzzy deskripční logiky založená na základní fuzzy predikátové logice BL.
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Some construction approaches for t-norms and t-conorms on bounded lattices
Pure mathematics
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
New constructions of triangular norms and triangular conorms on an arbitrary bounded lattice
Pure mathematics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 13 919