Przykładami termów tego języka są: oraz a także
Język ciał uporządkowanych to gdzie są binarnymi symbolami funkcyjnymi a jest binarnym symbolem relacyjnym. Przykładowe termy tego języka to
Języki wyższych rzędów W analogiczny sposób wprowadza się termy w językach wyższych rzędów, a także w bardziej skomplikowanych logikach.
Termy boole’owskie W teorii forsingu rozważa się termy boole’owskie wprowadzane następująco. Niech będzie zupełną algebrą Boole’a. Przez indukcję po wszystkich liczbach porządkowych definiujemy zbiory złożone z termów boole’owskich rangi :
– gdy jest liczbą graniczną jest zbiorem wszystkich funkcji których dziedzina jest podzbiorem a wartości należą do algebry
Kładziemy też
Termy boole’owskie są nazwami na obiekty w rozszerzeniach generycznych modeli teorii mnogości w tym sensie, że każdy element rozszerzenia jest interpretacją pewnego termu przez filtr generyczny.
Termy w informatyce W sztucznej inteligencji term służy do reprezentowania bytów w programowaniu w logice (na przykład w języku Prolog).