Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
Giddens' structuration theory is increasingly used in studies assessing IT-based organizational change. However, few studies, if any, have focused on how to empirically apply...
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The descr...
We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shela...
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...