Analytic fuzzy tableaux

DOI10.1007/S005000100127zbMATH Open0988.03043OpenAlexW2099740887MaRDI QIDQ5957079FDOQ5957079

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

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

zbMATH Keywords

completenessdecidabilitysoundnessfuzzy propositional logicfuzzy deductive systemsfuzzy tableaux

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (5)

• Title not available (Why is that?)
• Tableau calculus for basic fuzzy logic BL
• Tableau approach for fuzzy propositional modal logic
• On a KTB-modal fuzzy logic
• 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)