The following pages link to (Q4544362):
Displaying 10 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)
- Syntax of first-order lattice valued logic system FM (Q1375832) (← links)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981) (← 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)
- Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
- Syntax of uncertainty reasoning based on linguistic truth-valued lattice-valued first-order logic (Q2886438) (← links)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599) (← links)
- On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras (Q6109260) (← links)
