Pages that link to "Item:Q3703870"
From MaRDI portal
The following pages link to Inference in a multivalued logic system (Q3703870):
Displaying 11 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)
- On the use of Hamacher's t-norms family for information aggregation. (Q1425280) (← links)
- Foundation of credibilistic logic (Q2271113) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
- Coimplication and its application to fuzzy expert systems (Q2638817) (← links)
- Fuzzy sets in approximate reasoning. II: Logical approaches (Q2641292) (← links)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
