Algebraic logic was born in the XIXth century with the work of Boole, De Morgan, Peirce,
Schröder, etc. on classical logic, see [12, 16]. They took logical equivalence rather than truth …

There is a population explosion among the logical systems used in computing science.
Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic …

General Logics* Page 1 Logic Colloquium '87 Ha. Ebbinghaus et al. (Editors) 0 Elsevier Science
Publishers BV (North-Holland), 1989 215 General Logics* JosC Meseguer SRI International …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

Rewriting logic [40] is proposed as a logical framework in which other logics can be
represented, and as a semantic framework for the specification of languages and systems …

Institutions formalise the intuitive notion of logical system, including syntax, semantics, and
the relation of satisfaction between them. Our exposition emphasises the natural way that …

Why Another Book on Category Theory? In the past ten years, several books have been
published on category t-ory either by computer scientists or having computer scientists as a …

Rewriting is a computational paradigm that specifies the actions, but not the control. We
introduce a hierarchical structure representing, at a high level of abstraction, a form of …

Institution theory represents the fully axiomatic approach to model theory in which all
components of logical systems are treated fully abstractly by reliance on category theory …