scientific article; zbMATH DE number 5630755

zbMATH Open1199.03023MaRDI QIDQ3641409FDOQ3641409

Authors: Guojun Wang, Hongjun Zhou 

Publication date: 11 November 2009

Title of this publication is not available (Why is that?)

Recommendations

• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Positive indistinguishability of algebraic systems, and completeness of positive theories
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• An algebraic characterization of inductive soundness in proof by consistency
• scientific article; zbMATH DE number 4004239
• A proof of Vaught's conjecture for \(\omega\)-stable theories
• A Maximality Theorem for Continuous First Order Theories
• Independently axiomatizable \(\mathcal L_{\omega _{1},\omega}\) theories
• An extension of the formal deductive system \({\mathcal L}^*\)
• Fully adequate Gentzen systems and the deduction theorem

zbMATH Keywords

fuzzy logiccompactness theoremmaximal consistent theorysatisfiability theorem

Mathematics Subject Classification ID

Classical propositional logic (03B05) Fuzzy logic; logic of vagueness (03B52)

Cited In (1)

• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space

This page was built for publication:

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