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

MaRDI QIDQ4690358zbMATH OpenFDO

Authors Hongbo Wu, Ying Liang

Publication date 22 October 2018

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)

Recommendations

• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• The completeness and applications of the formal system L^
• 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

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 L^
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• On the closure properties of the class of full G-models of a deductive system

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)