most citedOn minimal sets of graded attribute implications

5 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2017

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…

cs.LO2014★ 1 cited

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…