Extended fuzzy equational logic

MaRDI QIDQ5439784zbMATH OpenFDO

Authors Vilem Vychodil

Publication date 11 February 2008

zbMATH Keywords

equational deduction rulesHorn clauses with truth-weighted premisesprovability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Fuzzy equational logic
• Fuzzy Horn logic. I. Proof theory.
• A note on axiomatizations of Pavelka-style complete fuzzy logics
• Fuzzy inequational logic
• Fuzzy equational logic

Cited in

(11)

• Extended fuzzy constructive logic
• Fuzzy Horn logic. I. Proof theory.
• EQ-algebra-based fuzzy type theory and its extensions
• On the deductive system of the order of an equationally orderable quasivariety
• scientific article; zbMATH DE number 2160576 (Why is no real title available?)
• scientific article; zbMATH DE number 2160577 (Why is no real title available?)
• A qualified description of extended fuzzy logic
• scientific article; zbMATH DE number 5049710 (Why is no real title available?)
• Fuzzy equational logic
• Fuzzy equational logic
• Fuzzy inequational logic

This page was built for publication: Extended fuzzy equational logic

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