Pages that link to "Item:Q2580956"
From MaRDI portal
The following pages link to Fuzzy Horn logic. I. Proof theory. (Q2580956):
Displaying 14 items.
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator (Q942325) (← links)
- Confluence and termination of fuzzy relations (Q991880) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- Threshold Boolean logic (Q3426345) (← links)
- FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER (Q3449257) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
