A semantically complete extension sequence of the system L^

DOI10.1360/03YF9007MaRDI QIDQ866006zbMATH OpenOpenAlexFDO

Authors Daowu Pei, Guojun Wang

Publication date 20 February 2007

Published in Science in China. Series F (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1360/03yf9007

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• scientific article; zbMATH DE number 1916704
• scientific article; zbMATH DE number 1534491
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• An extension of the formal deductive system \({\mathcal L}^*\)

Cited in

(3)

• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• scientific article; zbMATH DE number 1916704 (Why is no real title available?)

This page was built for publication: A semantically complete extension sequence of the system \(\mathcal L^\ast\)

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