Families of local involutive integral residuated lattice-ordered commutative monoids admitting Boolean term
Abstract
We present a family of local involutive integral bounded residuated lattice-ordered commutative monoids (involutive residuated lattices, for short) having Boolean term, radical term (see CT12 and T23), and satisfying GAP (Generalized Appel property) (see T23).The construction of this family is based in the examples given in [Subsection 5.1]CT12, by taking in place of Ln+1 and Lp+1 in place of the two element Boolean algebra. In some sense this paper is a companion of the paper T23, in which the General Apple Property (GAP) and Boolean terms are studied.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.