Pertaining to the operations of formal logic.
The process used in the algebra formulated by George Boole.