Alkaliteetti
Alkaliteetti (A) (myös Alkaliniteetti) eli veden puskurikyky tai hapon sitomiskyky tarkoittaa vesiliuoksen emästen kykyä neutraloida siihen lisätyt hapot. Alkaliteetti ilmaistaan yksikkönä "mmol/l" (millimoolia/litra). Asiditeetti ilmaisee liuoksen happojen kykyä neutraloida siihen liuenneet emäkset.
Kalkyyli
Kalkyyli on yksinkertaisimmillaan aksioomista ja syntaktisista päättelysäännöistä muodostuva merkkijonoihin liittyvä formaali systeemi. Aksioomat ja päättelysäännöt (tai laskusäännöt) esittävät, mitä kalkyylissä voidaan päätellä, eli ne esittävät sen, kuinka mielivaltaista lausetta on lupa käsitellä.