Pages that link to "Item:Q2580956"
From MaRDI portal
The following pages link to Fuzzy Horn logic. I. Proof theory. (Q2580956):
Displaying 23 items.
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Fuzzy logic and arithmetical hierarchy. II (Q677082) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- A fuzzy proof theory (Q805267) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← 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)
- Residuated fuzzy logics with additional connectives and their validation sets. (Q1428675) (← 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)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← 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)
- A Note on Pavelka's Fuzzy Logic (Q3982253) (← links)
- (Q4218100) (← links)
- Continuous fuzzy Horn logic (Q5469109) (← links)
- Fuzzy equational logic (Q5906996) (← links)
