Fuzzy inequational logic

DOI10.1016/J.IJAR.2015.03.003zbMATH Open1343.03024arXiv1408.2447OpenAlexW2059759229MaRDI QIDQ892182FDOQ892182

Authors: Vilem Vychodil 

Publication date: 18 November 2015

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

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.

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

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.

zbMATH Keywords

residuated latticescomplete axiomatizationfuzzy orderif-then rulesgraded inequalities

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

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

Cited In (6)

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

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)