Abstract

This chapter marks the start of our algebraic approach to thermodynamics, which continues until the end of Chap. 9. As we have already indicated, this discussion is based on the derivation of sequences of propositions derived from four sets of axioms. These mirror those presented by Lieb and Yngvason except that prior to their first set, which defines the properties of adiabatic accessibility, we introduce in this chapter a corresponding set for general accessibility.