scientific article; zbMATH DE number 1263737

zbMath0918.03028MaRDI QIDQ4234679

Yang Xu, Jun, Young Bae

Publication date: 16 March 1999

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

zbMATH Keywords

lattice implication algebrasright regular endomorphismright regular map

Mathematics Subject Classification ID

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

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)\) ⋮ \(L\)-valued propositional logic \(L_{\text{vpl}}\)