algebras

And the set of all functions from set X to set Y can be understood as the particular case Set (X, Y) of this convention where C is taken to be the class Set of all sets, which we can think of as discrete algebras, that is, algebras with no structure.

Algebra Pratt, Vaughan 2007

Boolean algebras, which is the algebraic semantics for classical logic, and the class HA of Heyting algebras, which is the algebraic semantics for intuitionistic logic.

Propositional Consequence Relations and Algebraic Logic Jansana, Ramon 2006

A quasivariety of L-algebras is a class of algebras which is the class of the models of some set of

Propositional Consequence Relations and Algebraic Logic Jansana, Ramon 2006

L-algebras is a class of L-algebras which is the class of all the models of some set of L-equations.

Propositional Consequence Relations and Algebraic Logic Jansana, Ramon 2006

His geometric interests extended to Clifford algebras these describe geometrical structures in a compact way and have wide applications in physics and in computer vision and he published a standard work on the subject in 1995.

Ian Porteous obituary 2011

My wife Emiko Nakayama's father, Tadasi, was a mathematician known for his research on Frobenius algebras.

Makoto Kobayashi - Autobiography 2009

This led to questions paralleling those already posed and resolved for Boolean algebras, for example, was every model of his axioms for relation algebras isomorphic to an algebra of relations on a set?

The Algebra of Logic Tradition Burris, Stanley 2009

Not long after this he discovered a translation between Boolean algebras and Boolean rings; under this translation the ideals of a Boolean algebra corresponded precisely to the ideals of the associated Boolean ring.

The Algebra of Logic Tradition Burris, Stanley 2009

His next major contribution was to establish a correspondence between Boolean algebras and certain topological spaces now called Boolean spaces (or Stone spaces).

The Algebra of Logic Tradition Burris, Stanley 2009

Her own research (with Brauer and Hasse) in 1930 solved a famous problem in the theory of algebras.

Emmy Noether. 2009