Publication:4231009
From MaRDI portal
zbMath0920.03064MaRDI QIDQ4231009
Publication date: 9 September 1999
03G10: Logical aspects of lattices and related structures
06B10: Lattice ideals, congruence relations
Related Items
\(\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)\), \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras., Lack of associative filters in lattice implication algebras