5 citations · 7 across the 4 of their papers we have counts for
4 papers
Closure structures parameterized by systems of isotone Galois connections
Vilem Vychodil
We study properties of classes of closure operators and closure systems parameterized by systems of isotone Galois connections. The parameterizations express stronger requirements…
Monoidal functional dependencies
Vilem Vychodil
We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete resi…
Fuzzy inequational logic
Vilem Vychodil
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formul…
On minimal sets of graded attribute implications
Vilem Vychodil
We explore the structure of non-redundant and minimal sets consisting of graded if-then rules. The rules serve as graded attribute implications in object-attribute incidence data a…