scientific article; zbMATH DE number 1251539

zbMath0920.03064MaRDI QIDQ4231009

Jun Liu, Yang Xu

Publication date: 9 September 1999

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

zbMATH Keywords

decompositionlattice implication algebrafiltersprime filter

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Lattice ideals, congruence relations (06B10)

Related Items (4)

Lack of associative filters in lattice implication algebras ⋮ \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. ⋮ \(\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: