Provable degree of formulas on theories in the propositional fuzzy logic system Göd

zbMATH Open1174.03310MaRDI QIDQ3611044FDOQ3611044

Authors: Qin Gao, Xingfang Zhang, Qingping Wang 

Publication date: 6 March 2009

Recommendations

• Provable degree of formulas of theories in propositional fuzzy logic systems
• Consistency degrees of theories in some systems of propositional fuzzy logic
• The \(\Sigma_{\varGamma}\)-fuzzy truth degrees of formulas relative to a finite theory in the propositional logic system Ł\(_n\)
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• Fuzzy Horn logic. I. Proof theory.

zbMATH Keywords

provable degreepropositional fuzzy logic system

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (3)

• Logic versus Approximation
• Properties of solutions to a fuzzy logic equation in the Gödel logic system
• Provable degree of formulas of theories in propositional fuzzy logic systems

This page was built for publication: Provable degree of formulas on theories in the propositional fuzzy logic system Göd

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