Pages that link to "Item:Q5946327"
From MaRDI portal
The following pages link to \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327):
Displaying 20 items.
- Some kinds of falling fuzzy filters of lattice implication algebras (Q530725) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- On fuzzy ordered semigroups. (Q726383) (← links)
- \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic (Q778417) (← 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)
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (Q1425298) (← 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)
- Lack of associative filters in lattice implication algebras (Q1933779) (← links)
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194) (← links)
- Lattice implication ordered semigroups (Q2466097) (← links)
- Fuzzy implicative and Boolean filters of \(R_{0}\) algebras (Q2486004) (← links)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic (Q4977808) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
