14 citations · 56 across the 15 of their papers we have counts for
7 papers · 1 filter
Logic of temporal attribute implications
Jan Triska, Vilem Vychodil
We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in time. We introduce semantic ent…
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections
Vilem Vychodil
We study the semantics of fuzzy if-then rules called fuzzy attribute implications parameterized by systems of isotone Galois connections. The rules express dependencies between fuz…
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…
Variety theorem for algebras with fuzzy order
Vilem Vychodil
We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are co…
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…
Attribute Dependencies for Data with Grades
Radim Belohlavek, Vilem Vychodil
This paper examines attribute dependencies in data that involve grades, such as a grade to which an object is red or a grade to which two objects are similar. We thus extend the cl…