The Yang–Baxter equation is a foundational relation in mathematical physics and algebra, originally arising in studies of integrable models and low-dimensional topology. In its set-theoretic form, it ...

Algebraic logic unites techniques from universal algebra and lattice theory to investigate the structures underlying deductive systems. In this viewpoint, logical connectives and consequence relations ...