scientific article; zbMATH DE number 1275131

zbMath0919.03049MaRDI QIDQ4237708

Yang Xu, Jun Liu

Publication date: 17 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lattice implication algebradirect product decompositionsubdirect product decompositionimplication filterŁukasiewicz chains

Mathematics Subject Classification ID

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

Related Items (2)

\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)

This page was built for publication: