The properties of closed theories with its application in the formal deductive system L^*

zbMATH Open1413.03005MaRDI QIDQ4690358FDOQ4690358

Authors: Hongbo Wu, Ying Liang 

Publication date: 22 October 2018

Recommendations

• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• Fuzzy deduction theorem in the system \(\mathcal L^*\)
• scientific article; zbMATH DE number 1907992

zbMATH Keywords

completenessfuzzy logicclosed theoryformal deductive system \({\mathscr{L}^*}\)strong congruence relation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Abstract deductive systems (03B22) Other algebras related to logic (03G25)

Cited In (4)

• Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• On the closure properties of the class of full G-models of a deductive system
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)

This page was built for publication: The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\)

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