Pages that link to "Item:Q867665"
From MaRDI portal
The following pages link to Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665):
Displayed 9 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic (Q894383) (← links)
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator (Q942325) (← links)
- Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra (Q985060) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Fuzzy prime filters of lattice implication algebras (Q1937907) (← links)
- On the algebraic structure of binary lattice-valued fuzzy relations (Q1955455) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Lattice implication ordered semigroups (Q2466097) (← links)