scientific article; zbMATH DE number 4152343

MaRDI QIDQ3481674zbMATH OpenFDO

Authors Ansheng Deng, Xuhua Liu

Publication date 1989

zbMATH Keywords

formal fuzzy propositional logic deduction systemwell-formed formula

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• A formal deductive system for fuzzy propositional calculus
• scientific article; zbMATH DE number 2220123
• Deductive systems of fuzzy logic
• scientific article; zbMATH DE number 1293548
• Quasi-formal deductive system for fuzzy propositional calculus
• scientific article; zbMATH DE number 6795355
• Fuzzy propositional logic
• scientific article; zbMATH DE number 1790412
• A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
• Formal systems of fuzzy logic and their fragments

Cited in

(16)

• Fuzzy propositional logic
• Quasi-formal deductive system for fuzzy propositional calculus
• A formal deductive system for fuzzy propositional calculus
• Comparing fuzzy and crisp deduction systems
• On the logic foundation of fuzzy reasoning
• A first-order logic system for fuzzy predicate calculus based on FI-algebras
• scientific article; zbMATH DE number 440030 (Why is no real title available?)
• A simple algorithm for deduction
• Fuzzy natural deduction
• scientific article; zbMATH DE number 1293548 (Why is no real title available?)
• Propositional information systems
• scientific article; zbMATH DE number 1420884 (Why is no real title available?)
• scientific article; zbMATH DE number 6795355 (Why is no real title available?)
• scientific article; zbMATH DE number 2220123 (Why is no real title available?)
• A \textit{DPLL} procedure with dichotomous branching for propositional product logic
• Substantial and formal deductions in logics with vector semantics

This page was built for publication:

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