e/Algebraic semantics

Information
has gloss	eng: In logic, algebraic semantics is a formal semantics based on algebras. For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator. Other modal logics are characterized by various other algebras with operators. The class of boolean algebras characterizes classical propositional logic, and the class of Heyting algebras propositional intuitionistic logic.
lexicalization	eng: Algebraic semantics
instance of	c/Formal specification languages

Meaning
Croatian
has gloss	hrv: Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.
lexicalization	hrv: Algebarska semantika