BRIDGING THEORIES WITH AXIOMS: BOOLE, STONE, AND TARSKI