Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of ...

The object of the paper is to give a lattice generalization of Krull's ideal theory of commutative rings without finiteness assumptions, which in particular includes rings, distributive lattices and ...