Pages that link to "Item:Q545319"
From MaRDI portal
The following pages link to Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319):
Displaying 13 items.
- A linguistic multi-criteria decision making approach based on logical reasoning (Q498110) (← links)
- \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic (Q778417) (← links)
- A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic (Q894383) (← links)
- Graded many-valued resolution with aggregation. (Q1428680) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- On the algebraic structure of binary lattice-valued fuzzy relations (Q1955455) (← links)
- A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making (Q2218770) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194) (← links)
- A logical reasoning based decision making method for handling qualitative knowledge (Q2658034) (← links)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic (Q3011976) (← links)
- On Fuzzy Logic I Many‐valued rules of inference (Q3874181) (← links)
