Fuzzy inequational logic

DOI10.1016/J.IJAR.2015.03.003MaRDI QIDQ892182zbMATH OpenOpenAlexFDO

Authors Vilem Vychodil

Publication date 18 November 2015

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.2447

zbMATH Keywords

residuated latticescomplete axiomatizationfuzzy orderif-then rulesgraded inequalities

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Abstract: We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if-then rules which is obtained as particular case of the general result.

Recommendations

• Fuzzy Horn logic. I. Proof theory.
• Extended fuzzy equational logic
• Fuzzy equational logic
• Graded propositional fuzzy logic for approximate reasoning
• Fuzzy Horn logic. II. Implicationally defined classes.

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 978992 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• A compendium of fuzzy weak orders: representations and constructions
• A logical approach to fuzzy truth hedges
• Algebras with fuzzy equalities
• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• Attribute dependencies for data with grades I^,
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Formal concept analysis and linguistic hedges
• Functional Dependencies in a Relational Database and Propositional Logic
• Fuzzy Horn logic. I. Proof theory.
• Fuzzy equational logic
• Fuzzy equational logic
• Fuzzy logic and arithmetical hierarchy
• Fuzzy logic. Mathematical tools for approximate reasoning
• Mathematical Fuzzy Logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On Fuzzy Logic I Many‐valued rules of inference
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of inexact concepts
• Triangular norms
• Varieties of ordered algebras
• Variety theorem for algebras with fuzzy orders

Cited in

(7)

• Extended fuzzy equational logic
• Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis
• Graded propositional fuzzy logic for approximate reasoning
• Fuzzy equational logic
• Cut and Weakening in Fuzzy Horn Logic
• Variety theorem for algebras with fuzzy orders
• Fuzzy Syllogisms, Numerical Square, Triangle of Contraries, Inter-bivalence

This page was built for publication: Fuzzy inequational logic

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