\(L\)-valued propositional logic \(L_{\text{vpl}}\)

DOI10.1016/S0020-0255(98)10053-1zbMath0936.03023OpenAlexW2017999234MaRDI QIDQ1818981

Zhenming Song, Keyun Qin, Jun Liu, Yang Xu

Publication date: 5 January 2000

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0255(98)10053-1

zbMATH Keywords

lattice implication algebralattice-valued propositional logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic ⋮ On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras ⋮ The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. ⋮ \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. ⋮ Formalized theory of general fuzzy reasoning. ⋮ Lattice implication ordered semigroups ⋮ A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice ⋮ Fuzzy implicative and Boolean filters of \(R_{0}\) algebras ⋮ 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}^{*}\) ⋮ ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft ⋮ A theorem about infinite-valued sentential logic ⋮ On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)

Cites Work

• First-order fuzzy logic
• Filters and structure of lattice implication algebra
• The logic of inexact concepts
• 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 III. Semantical completeness of some many‐valued propositional calculi
• A Note on Pavelka's Fuzzy Logic
• Deduction Theorem for Many‐Valued Inference
• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item