The following pages link to (Q4311753):
Displaying 13 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 unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic (Q894383) (← links)
- Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra (Q985060) (← links)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← 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)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- (Q4306528) (← links)
- (Q4809372) (← links)
- (Q5476245) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
