Pages that link to "Item:Q1428680"
From MaRDI portal
The following pages link to Graded many-valued resolution with aggregation. (Q1428680):
Displaying 5 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- A visibility graph averaging aggregation operator (Q1782722) (← links)
- New connectives for (full) fuzzy resolution (Q2775981) (← links)