A kind of simplified formal deductive system L₀^* for the system L^*
From MaRDI portal
Publication:2748639
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
Cited in
(7)- A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
- An extension of the formal deductive system \({\mathcal L}^*\)
- The formal system λδ
- scientific article; zbMATH DE number 1780077 (Why is no real title available?)
- scientific article; zbMATH DE number 4053578 (Why is no real title available?)
- The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system)
- Fuzzy deduction theorem in the system \(\mathcal L^*\)
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)
