Analytic fuzzy tableaux

DOI10.1007/S005000100127MaRDI QIDQ5957079zbMATH OpenOpenAlexFDO

Authors Luigi Di Lascio

Publication date 21 April 2002

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s005000100127

zbMATH Keywords

completenessdecidabilityfuzzy deductive systemsfuzzy propositional logicfuzzy tableauxsoundness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Tableau approach for fuzzy propositional modal logic
• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Tableau calculus for basic fuzzy logic BL
• Graded tableaux for Rational Pavelka Logic
• On a KTB-modal fuzzy logic

Cited in

(5)

• On a KTB-modal fuzzy logic
• Tableau calculus for basic fuzzy logic BL
• Tableau approach for fuzzy propositional modal logic
• scientific article; zbMATH DE number 1552522 (Why is no real title available?)
• Graded tableaux for Rational Pavelka Logic

This page was built for publication: Analytic fuzzy tableaux

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