23 citations
- Lviv UniversityUA5 papers
- University of LjubljanaSI4 papers
- Jan Kochanowski UniversityPL3 papers
- AGH University of KrakowPL2 papers
- Ivano-Frankivsk National Technical University of Oil and GasUA2 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU2 papers
- Taras Shevchenko National University of KyivUA2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Cracow University of TechnologyPL1 paper
- Drohobych Ivan Franko State Pedagogical UniversityUA1 paper
- Institute of MathematicsPL1 paper
- Laboratoire Paul PainlevéFR1 paper
5 papers · 1 filter
-fuzzy strongest postcondition predicate transformers as -idempotent linear or affine operators between semimodules of monotonic predicates
Oleh Nykyforchyn, Dušan Repovš
For a completely distributive quantale , -fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are li…
Ambiguous representations as fuzzy relations between sets
Oleh Nykyforchyn, Dušan Repovš
Crisp and -fuzzy ambiguous representations of closed subsets of one space by closed subsets of another space are introduced. It is shown that, for each pair of compact Hausdorff…
Idempotent convexity and algebras for the capacity monad and its submonads
Oleh Nykyforchyn, Dušan Repovš
Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\…
Inclusion hyperspaces and capacities on Tychonoff spaces: functors and monads
Oleh Nykyforchyn, Dušan Repovš
The inclusion hyperspace functor, the capacity functor and monads for these functors have been extended from the category of compact Hausdorff spaces to the category of Tychonoff s…
Extending binary operations to funtor-spaces
Taras Banakh, Volodymyr Gavrylkiv
Given a continuous monadic functor T in the category of Tychonov spaces for each discrete topological semigroup X we extend the semigroup operation of X to a right-topological semi…