ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
From MaRDI portal
Publication:4950599
DOI10.1080/03081070008960924zbMath0953.03028OpenAlexW1502400124MaRDI QIDQ4950599
Jun Liu, Zhenming Song, Keyun Qin, Yang Xu
Publication date: 9 April 2000
Published in: International Journal of General Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/03081070008960924
lattice implication algebrasmany-valued logiclattice-valued logicresolution principle\(g\)-Skolem standard form
Related Items (10)
Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra ⋮ Formalized theory of general fuzzy reasoning. ⋮ Lattice implication ordered semigroups ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Fuzzy logic from the viewpoint of machine intelligence ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) ⋮ A theorem about infinite-valued sentential logic
Cites Work
- First-order fuzzy logic
- Filters and structure of lattice implication algebra
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- The logic of inexact concepts
- Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
- Fuzzy sets in approximate reasoning. II: Logical approaches
- ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
- On Fuzzy Logic I Many‐valued rules of inference
- A Note on Pavelka's Fuzzy Logic
This page was built for publication: ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
