Pages that link to "Item:Q4950599"
From MaRDI portal
The following pages link to ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599):
Displaying 7 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)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194) (← links)
- Lattice implication ordered semigroups (Q2466097) (← 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)
