Pages that link to "Item:Q1818981"
From MaRDI portal
The following pages link to \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981):
Displaying 17 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)
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (Q1425298) (← links)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- Lattice implication ordered semigroups (Q2466097) (← links)
- Fuzzy implicative and Boolean filters of \(R_{0}\) algebras (Q2486004) (← links)
- Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
- Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) (Q2507490) (← links)
- A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice (Q3577989) (← links)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599) (← links)
- A theorem about infinite-valued sentential logic (Q5804993) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
- On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras (Q6109260) (← links)
