A kind of simplified formal deductive system L₀^* for the system L^*

zbMATH Open0988.03041MaRDI QIDQ2748639FDOQ2748639

Authors: Hongbo Wu 

Publication date: 25 June 2002

Published in: The Journal of Fuzzy Mathematics (Search for Journal in Brave)

Recommendations

• A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
• An extension of the formal deductive system \({\mathcal L}^*\)
• scientific article; zbMATH DE number 1780077
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• scientific article; zbMATH DE number 5060344
• scientific article; zbMATH DE number 1910800
• scientific article; zbMATH DE number 822106
• The formal system λδ
• scientific article; zbMATH DE number 2086608
• \(L(A)=L(B)\)? decidability results from complete formal systems

zbMATH Keywords

fuzzy propositional calculusformal deductive system

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (7)

• The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system)
• A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
• Fuzzy deduction theorem in the system \(\mathcal L^*\)
• Title not available (Why is that?)
• An extension of the formal deductive system \({\mathcal L}^*\)
• Title not available (Why is that?)
• The formal system λδ

This page was built for publication: A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\)

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