A characterization of first-order lattice-valued logic with the lattice being finite, complemented and having a strong character formula

MaRDI QIDQ3538671zbMATH OpenFDO

Authors Xue Tong, Rongfang Bie, Yongqiang Li

Publication date 24 November 2008

zbMATH Keywords

compactness propertyregular logical systemstrong character formula

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Some properties of first order lattice-valued logic with the lattice being finite and inverse
• scientific article; zbMATH DE number 1775532
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• scientific article; zbMATH DE number 1750163
• Characterizing finite-valuedness

Cited in

(1)

• Some properties of first order lattice-valued logic with the lattice being finite and inverse

This page was built for publication: A characterization of first-order lattice-valued logic with the lattice being finite, complemented and having a strong character formula

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