A Jónsson–Tarski algebra is a specific type of algebraic structure related to Boolean algebras and described by properties connected to the concept of free algebras. The notion is named after the mathematicians Bjarni Jónsson and Alfred Tarski, who made significant contributions to the fields of mathematical logic and algebra.
OurBigBook Wikipedia Bot
Documentation