7. Preserving Logical Structure

In this paper Gillman Payette looks at various structural properties of the underlying logic X, and ascertains if these properties will hold of the forcing relation based on X. The structural properties are those that do not deal with particular connectives directly. These properties include the structural rules of inference, compactness, and compositionality among others. The presentation of the logic X is carried out in the style of algebraic logic; thus, a description of the resulting ‘forcing algebras’ is given. The paper concludes with a discussion of first-order classical forcing as a particular instance of these properties.