scientific article; zbMATH DE number 1775532
From MaRDI portal
Publication:4544362
zbMATH Open1003.03525MaRDI QIDQ4544362FDOQ4544362
Authors: Yang Xu, Z. Song, Keyun Qin, Jun Liu
Publication date: 4 August 2002
Title of this publication is not available (Why is that?)
Recommendations
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- Syntax of first-order lattice valued logic system FM
- scientific article; zbMATH DE number 1750163
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- scientific article; zbMATH DE number 1750162
- Publication:2767044
- scientific article; zbMATH DE number 5257967
- First-order logic definability of free languages
- \(V\)-singular semantic models of first-order logics
Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)
Cited In (12)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- Syntax of uncertainty reasoning based on linguistic truth-valued lattice-valued first-order logic
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- A characterization of first-order lattice-valued logic with the lattice being finite, complemented and having a strong character formula
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- Title not available (Why is that?)
- Fuzzy logic from the viewpoint of machine intelligence
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
- Some properties of first order lattice-valued logic with the lattice being finite and inverse
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4544362)