Immediate consequences operator on generalized quantifiers

DOI10.1016/J.FSS.2022.08.014MaRDI QIDQ6083146zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 31 October 2023

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.fss.2022.08.014

zbMATH Keywords

fuzzy setsgeneralized quantifiersimmediate consequences operatorlogic programming

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2015402
• scientific article; zbMATH DE number 761280
• General logic-systems and finite consequence operators
• Generalized quantifiers, and beyond
• On decidable consequence operators
• On general properties of intermediate quantifiers
• Directions in generalized quantifier theory
• Generalized quantifiers in dependence logic
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 120342

Cites work

• L-fuzzy quantifiers of type 1 determined by fuzzy measures
• A formal theory of intermediate quantifiers
• A lattice-theoretical fixpoint theorem and its applications
• A sound and complete semantics for a similarity-based logic programming language
• Extensions of fuzzy relational compositions based on generalized quantifiers
• Families of OWA operators
• Fuzzy cardinality based evaluation of quantified sentences
• Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices
• Fuzzy quantification: a state of the art
• Fuzzy quantifiers. A computational theory
• Fuzzy relational compositions based on generalized quantifiers
• Generalized quantifiers in formal concept analysis
• scientific article; zbMATH DE number 1183717 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
• On fuzzification mechanisms for unary quantification
• Quantitative deduction and its fixpoint theory
• Randomized game semantics for semi-fuzzy quantifiers
• Residuated variants of Sugeno integrals: towards new weighting schemes for qualitative aggregation methods
• Similarity-based unification: A multi-adjoint approach
• The Semantics of Predicate Logic as a Programming Language

Cited in

(5)

• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 2015402 (Why is no real title available?)
• Hypergraphs in logic programming
• Computational reaching of quantified consequences from imperfect initial data
• General logic-systems and finite consequence operators

This page was built for publication: Immediate consequences operator on generalized quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6083146)