Century Dictionary and Cyclopedia
- n. Algebraic calculation; reduction of a calculation or problem to algebraic form.
“From the algebraic study of specific logics a general theory of the algebraization of logics slowly emerged during the last century with the aim, more or less explicitly stated during the process, of obtaining general and informative results relating the properties a logic may have with the algebraic properties the class of algebras (or algebra related structures) associated with it might posses.”
“The Lindenbaum-Tarski method contributed in two respects to the elaboration of important notions in the theory of the algebraization of logics.”
“The concept of Leibniz congruence plays a fundamental role in the general theory of the algebraization of the logic systems developed during the 1980's by Blok and Pigozzi.”
“In this entry we concentrate on the general theory of the algebraization of propositional logics taken as consequence relations.”
“L-filters of an algebra A plays a crucial role in the theory of the algebraization of logic systems.”
“In the next section we will expound the semantics of abstract logics and generalized matrices that serves to develop a really general theory of the algebraization of logic systems.”
“The generalized matrix models that have naturally attacted most the attention in the research on the algebraization of logics are the generalized matrices of the form where FiLA is the set of all the”
“RMatr (L) plays a prominent role in the theory of the algebraization of logics and it is denoted by”
“Fermat, who as we said had discovered a similar algebraization of geometry, objected to trivial points.”
“The compilation process includes parsing, algebraization, and optimization.”
‘algebraization’ hasn't been added to any lists yet.
Looking for tweets for algebraization.