scientific article
From MaRDI portal
Publication:3424000
zbMath1108.68028MaRDI QIDQ3424000
Jonathan D. H. Smith, Anna B. Romanowska, Yuri M. Movsisyan
Publication date: 15 February 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Logic programming (68N17) Second- and higher-order model theory (03C85) Finitary algebras (08A62) Lattices (06B99)
Related Items
Bilattices with implications ⋮ Diagrammatic duality ⋮ Residuated bilattices ⋮ Unnamed Item ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. ⋮ Artin theorem for semigroups ⋮ \(q\)-bilattices ⋮ Varieties of interlaced bilattices ⋮ Priestley duality for bilattices ⋮ The product representation theorem for interlaced pre-bilattices: some historical remarks. ⋮ Representation of interlaced trilattices ⋮ Implicative twist-structures ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ A generalization of the Artin theorem ⋮ Bilattices and hyperidentities ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: