OUR COMPANY LOGOTYPE

You may have noticed the backwards E and the upside down A in our logo. These are important mathematical symbols, called the existential and universal quantifiers. An important branch of mathematical logic - first order predicate calculus - is based on them. They are read as there exists and for all, hence their form that relates them to the letters E and A.

Intentional Software is not specially connected with first order predicate calculus, but the allusion to the quantifiers in the logo is still meaningful. It reminds us that there exists an intention for all domain concepts. It also suggests that the special notations of a domain should be usable when expressing intentions.

The iconic form of the logo recalls the two quantifiers and adds the graphical element of an arrow symbolizing the generative techniques that are integral to Intentional Software.