scientific article; zbMATH DE number 1501193

MaRDI QIDQ4500035zbMATH OpenFDO

Authors Guo Sheng Cheng, Guojun Wang

Publication date 7 November 2000

zbMATH Keywords

congruencequotient algebrasLindenbaum algebrasimplementation lattice algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 1930403
• Some new properties of \(BR_0\)-algebras
• scientific article; zbMATH DE number 1736350
• The representation theorem of the lattice \(BR_0\)-algebraic structure
• Ideals and reduced definitions of \(R_0\)-algebras

Cited in

(17)

• Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras
• scientific article; zbMATH DE number 2200988 (Why is no real title available?)
• Idempotent elements in \(R_0\) algebras and their applications
• The Boole atom of \({R_0}\) algebra and its application
• scientific article; zbMATH DE number 6612698 (Why is no real title available?)
• On the structure and the properties of \(L_0^*\)-Lindenbaum algebra
• Ideals and reduced definitions of \(R_0\)-algebras
• States on \(R_{0}\) algebras
• scientific article; zbMATH DE number 1930403 (Why is no real title available?)
• General \(R_0\) t-norm on strong De Morgan algebras.
• Boolean complement element and the direct product decomposition of \(R_0\)-algebras
• Structure of non-totally ordered \(R_0\)-algebras
• Revision of simplified axiom systems of \(R_0\)-algebras and their independence
• The representation theorem of the lattice \(BR_0\)-algebraic structure
• Residuated lattices and lattice effect algebras
• R 0-algebras and weak dually residuated lattice ordered semigroups
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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 Q4500035)