Fuzzy Horn logic. II. Implicationally defined classes.

DOI10.1007/s00153-005-0303-1zbMath1099.03016OpenAlexW4250979335MaRDI QIDQ818519

Radim Bělohlávek, Vilem Vychodil

Publication date: 21 March 2006

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

Full work available at URL: https://doi.org/10.1007/s00153-005-0303-1

zbMATH Keywords

fuzzy logicequational logicquasivarietiesgraded identitiesHorn logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Fuzzy algebraic structures (08A72)

Related Items (13)

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 ⋮ Mathematical Fuzzy Logics ⋮ Variety theorem for algebras with fuzzy orders ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ Confluence and termination of fuzzy relations ⋮ Derivation digraphs for dependencies in ordinal and similarity-based data ⋮ Threshold Boolean logic ⋮ Fuzzy Horn logic. I. Proof theory.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How many variables does a quasivariety need?
• 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
• 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
• Fuzzy equational logic
• Fuzzy closure operators

This page was built for publication: Fuzzy Horn logic. II. Implicationally defined classes.