Derivative algebra (abstract algebra)

This article includes a improve this article by introducing more precise citations. (May 2024) (Learn how and when to remove this message )

In abstract algebra, a derivative algebra is an algebraic structure of the signature

<A, ·, +, ', 0, 1, ^D>

where

<A, ·, +, ', 0, 1>

is a

1. 0^D = 0
2. x^DD ≤ x + x^D
3. (x + y)^D = x^D + y^D.

x^D is called the

.

References

• Esakia, L., Intuitionistic logic and modality via topology, Annals of Pure and Applied Logic, 127 (2004) 155-170
• McKinsey, J.C.C. and Tarski, A., The Algebra of Topology, Annals of Mathematics
  , 45 (1944) 141-191

This algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e