Pages that link to "Item:Q1302221"
From MaRDI portal
The following pages link to An algebraic formalization of fuzzy relations (Q1302221):
Displaying 13 items.
- Relation lifting, a survey (Q299182) (← links)
- Membership values in arrow categories (Q723308) (← links)
- Arrow categories (Q1043285) (← links)
- Representation theory of Goguen categories. (Q1406858) (← links)
- On the algebraic structure of binary lattice-valued fuzzy relations (Q1955455) (← links)
- Point axioms and related conditions in Dedekind categories (Q2347908) (← links)
- Initial Comparison of Formal Approaches to Fuzzy and Rough Sets (Q2814146) (← links)
- Point Axioms in Dedekind Categories (Q2915146) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
- RALL: Machine-supported proofs for relation algebra (Q5234720) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Type-n Arrow Categories (Q5283219) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)
