Introduction
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.

Architecture
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.

Semantics
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.


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

Mathematics
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.

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


XLnamespaces
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.

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

