XLogic is a project to develop an architecture for generic logic technologies, exploiting XML and related standards, and to catalyse the development of applications using that architecture.
The architecture will provide logical foundations for the integration of diverse languages and proof technologies.
The project will investigate selected areas of application, and will implement prototypes and demonstrators to prove the key ideas.

The architectural component of XLogic provides motivating rhetoric, definitions of special terms, enunciation of key principles and supporting theory on which the architecture is based, at least one logical foundation system and some glue.

Though some (formalists) take logic to be a formal science in which syntax supplants semantics, XLogic places semantics at the center of the universe.
Three stages are envisaged in the development of methods for formally defining the semantics of languages.
Monolingual, multilingual and extensible.


XLogic Glue is the stuff which enables diverse languages and logical tools to be integrated in the solution of complex problems.

Mathematics could be said to be an intended application of XLogic, but since it mediates in the application of logic to almost every application in science and engineering (and many elsewhere), it has a very special importance.

A small number of applications of special interest will be investigated.
The most ambitious is digital controller design.


XLnamespaces are intended to combine the functions of XMLnamespaces with those of logical theories and form a centerpiece of XLogic technologies.

<image name="OpenMind.gif"></image>
OpenMind is a philosophical partner to XLogic, cohosted at XLogic.org.
It is formal analytic philosophy, exploiting XLogic technologies and providing foundations and metatheory for XLogic.

XLogic is not just an OpenSource project.
It is also an Open Brand.

