The paradigm of logic as an executable language is currently based on classical logic, and yet there is no existing formulation of classical logic which leads naturally to, and supports, this... This description may be from another edition of this product.