Alkaliteetti (limnologia)
Alkaliteetti (A) (myös alkaliniteetti) on luonnonveden tai muun vesiliuoksen puskurikyky happamoitumista vastaan. Tässä artikkelissa alkaliteettia tarkastellaan erityisesti luonnonvesissä limnologian näkökulmasta.
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ä.