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):
Displaying 4 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)
