Filtry
Standard Completeness for Uninorm-Based Logics
BA - Obecná matematika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Densification of FL Chains via Residuated Frames
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
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)
The Quest for the Basic Fuzzy Logic
BA - Obecná matematika
- 2015 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
UNCONDITIONAL STRUCTURES OF TRANSLATES FOR L-p(R-d)
BA - Obecná matematika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Implicational (semilinear) logics III: completeness properties
Pure mathematics
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Switching to Hedgehog-Free Graphs is NP-Complete
BA - Obecná matematika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On the complexity of circuit satisfiability
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 8 636