A semantically complete extension sequence of the system L^

DOI10.1360/03YF9007zbMATH Open1182.03054OpenAlexW1997746250MaRDI QIDQ866006FDOQ866006

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

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}^*\)

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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.
• Title not available (Why is that?)

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)