Pages that link to "Item:Q5468834"
From MaRDI portal
The following pages link to On the consistency of rule bases based on lattice-valued first-order logic LF(X) (Q5468834):
Displaying 7 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- A uniform approach of linguistic truth values in sensor evaluation (Q839478) (← 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)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Lattice implication ordered semigroups (Q2466097) (← links)
- (Q5144361) (← links)