ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

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

zbMATH Keywords

lattice implication algebrasmany-valued logiclattice-valued logicresolution principle\(g\)-Skolem standard form

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

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 L_vft