The following pages link to A fuzzy proof theory (Q805267):
Displaying 6 items.
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- Proof of theorems in fuzzy logic based on structural resolution (Q2320255) (← links)
- Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
- FUZZY ARROW'S THEOREM (Q3633958) (← links)
- (Q4218100) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)