Pages that link to "Item:Q1428680"

The following pages link to Graded many-valued resolution with aggregation. (Q1428680):

Displaying 3 items.

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
• A visibility graph averaging aggregation operator (Q1782722) (← links)