Meta Theory Research Articles

Forum: A multiple-conclusion specification logic

The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [15], provide for various forms of abstraction (modules, abstract data types, and higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] provides some primitives for concurrency but lacks abstraction mechanisms. In this paper we present Forum, a logic programming presentation of all of linear logic that modularly extends λProlog, Lolli, and LO. Forum, therefore, allows specifications to incorporate both abstractions and concurrency. To illustrate the new expressive strengths of Forum, we specify in it a sequent calculus proof system and the operational semantics of a programming language that incorporates references and concurrency. We also show that the meta theory of linear logic can be used to prove properties of the object-languages specified in Forum.

The facet design approach to the construction of multivariate marketing models

Introduces the concept of facet meta theory for the development of marketing theories proposes that this technique is effective in that it leads to systematic formulation of hypotheses, the definition an design of multivariate marketing studies and the analysis of data. Applies the facet approach to the marketing problem, where it is a relatively new concept, and suggests that it is a valuable model to use.