Valuation Systems and Consequence Relations
Mark Ryan, Martin Sadler · 1992
Abstract This chapter is an introduction to some of the basic concepts and machinery of logic, concentrating on the contemporary uses of logic in computer science. It is not comprehensive, since many topics (such as equational reasoning, algebras, categories and computability) are introduced in other chapters. In particular, we concentrate on the applications of logics as reasoning systems about computing rather than on the foundational aspects of computer science which logic addresses. This is not a standard introduction to classical first order logic and its model theory, such treatments being widely available elsewhere [Hamilton, 1978; Hodges, 1983; Makowsky, ]. Rather, we attempt to bring together some topics from the logics currently used for reasoning about programs and about computer systems, and see them within a unifying framework at an appropriate level of abstraction.