Αλγεβρική σημασιολογία

Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τυπικό τρόπο.

Στη μαθηματική λογική, η αλγεβρική σημασιολογία είναι μια τυπική σημασιολογία  που βασίζεται σε άλγεβρες. Για παράδειγμα, η τροπική λογική S4 χαρακτηρίζεται από την κλάση των τοπολογικών αλγεβρών Μπουλ (topological boolean algebras)—δηλαδή άλγεβρες Μπουλ με έναν εσωτερικό τελεστή (interior operator). Άλλες τροπικές λογικές χαρακτηρίζονται από άλλες άλγεβρες με τους δικούς τους τελεστές. Η κλάση των αλγεβρών Μπουλ χαρακτηρίζει την κλασική προτασιακή λογική (classical propositional logic), και την κλάση της προτασιακής ιντουισιονιστικής λογικής των αλγεβρών Χέιτινγκ (Heyting algebras).

Δείτε επίσης 
 OBJ
 Τυπική σημασιολογία των γλωσσών προγραμματισμού
 Αξιωματική σημασιολογία
 Λειτουργική σημασιολογία
 Δηλωτική σημασιολογία

Άλγεβρα
Μαθηματική λογική
Λογική για Υπολογιστές
Τυπικές μέθοδοι
Σημασιολογία γλωσσών προγραμματισμού