Fuzzy Horn logic. I. Proof theory.

DOI10.1007/s00153-005-0287-xzbMath1095.03014OpenAlexW2067610414MaRDI QIDQ2580956

Vilem Vychodil, Radim Bělohlávek

Publication date: 10 January 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0287-x

zbMATH Keywords

fuzzy logicequational logicHorn logicprovability degrees

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Many-valued logic (03B50)

Related Items (14)

Pseudovarieties of algebras with fuzzy equalities. ⋮ FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Rewriting systems over similarity and generalized pseudometric spaces and their properties ⋮ Closure structures parameterized by systems of isotone Galois connections ⋮ Fuzzy inequational logic ⋮ Mathematical Fuzzy Logics ⋮ On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ Triangular norm based predicate fuzzy logics ⋮ Confluence and termination of fuzzy relations ⋮ Derivation digraphs for dependencies in ordinal and similarity-based data ⋮ Threshold Boolean logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Fuzzy Horn logic. II. Implicationally defined classes.
• Globalization of intuitionistic set theory
• Finitary quasi-varieties
• Metamathematics of fuzzy logic
• On very true
• Fuzzy closure operators. II: Induced relations, representation, and examples
• Birkhoff variety theorem and fuzzy logic
• Triangular norms
• Monadic fuzzy predicate logics
• Gentzen-style axiomatizations in equational logic
• On the fundamentals of fuzzy set theory
• L-fuzzy sets
• The logic of inexact concepts
• Completeness of calculii for axiomatically defined classes of algebras
• On the construction of the least universal Horn class containing a given class
• On Fuzzy Logic I Many‐valued rules of inference
• Continuous Model Theory. (AM-58)
• Fuzzy Closure Operators with Truth Stressers
• Cut and Weakening in Fuzzy Horn Logic
• Fuzzy equational logic
• Fuzzy closure operators
• Fuzzy logic programming

This page was built for publication: Fuzzy Horn logic. I. Proof theory.