scientific article; zbMATH DE number 2059739

MaRDI QIDQ4458020zbMATH OpenFDO

Authors Jun Ma, Keyun Qin, Yang Xu

Publication date 17 March 2004

zbMATH Keywords

decidabilitymany-valued logicsatisfiabilityvaluationlattice implication algebralattice-valued propositional logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 2094741
• Lattice-valued modal propositional logic based on M-lattice implication algebras
• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
• Filters and structure of lattice implication algebra
• scientific article; zbMATH DE number 1933130

Cited in

(5)

• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
• scientific article; zbMATH DE number 2094741 (Why is no real title available?)
• scientific article; zbMATH DE number 640717 (Why is no real title available?)
• scientific article; zbMATH DE number 679715 (Why is no real title available?)
• Lattice-valued modal propositional logic based on M-lattice implication algebras

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