Introducing the Fair and Logical Trade Project

We introduce our framework for logic-based composi- tional e-commerce interaction. We aim to provide open- source software which adds a light-weight formal messag- ing layer to business communications, to increase the ac- cessibility of e-commerce infrastructure to smaller business players. In the process we hope to develop a comprehensive theory of business communication. We present the logical structures and techniques we apply, and provide initial pro- totype testing results.