The phrase "algebraic language" is correct and usable in written English.
It can be used when discussing mathematical concepts, particularly in the context of algebra and its symbolic representation.
Example: "In algebra, we often express relationships and operations using an algebraic language that includes variables and constants."
Alternatives: "mathematical language" or "symbolic language".
The process algebraic language μcrl is used to analyse an existing distributed system for lifting trucks.
For this purpose, he generalized the traditional Chinese methods of division of the circle, using continued proportions (geometric sequences such as ax, ax2, ax3…) and an algebraic language based on analogy with arithmetic operations.
Backus, J.W., The Syntax and Semantics of the Proposed International Algebraic Language of Zürich ACM-GAMM Conference, Proceedings of the International Conference on Information Processing, UNESCO, 1959, pp.125-132 pp.125-132
We will refer to the algebraic language with L as its set of operation symbols as the L-algebraic language.
On the one hand, Geometric Control Theory used the differential geometric and Lie algebraic language for studying controllability, motion planning, stabilizability and optimality for control systems.
Where traditional (Aristotelian) logic relied on cataloging the valid syllogisms of various simple forms, Boole's method provided general algorithms in an algebraic language which applied to an infinite variety of arguments of arbitrary complexity.
For social networks, SocialScope [3] and SNQL [53] define algebraic languages with numeric aggregates on node and edge sets.
They are also used in universal algebra, a field that to some extent can be considered the model theory of the algebraic languages.
To expound them we will assume knowledge of first-order logic (see the entries on classical logic and first-order model theory) and we will call algebraic first-order languages, or simply algebraic languages, the first-order languages with equality and without any relational symbols, so that these languages have only operation symbols, if any, among their non-logical symbols.
A variety of L-algebras is a class of L-algebras that is definable in a very simple way (by equations) using the L-algebraic language.
An L-equation is a formula φ ≈ ψ where φ and ψ are terms of the L-algebraic language (that is, L-formulas if we take the propositional logics point of view).
