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