Equational Logic

Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

This chapter explains how we can reason about whether two expressions are “logically equivalent” in a specification E. We consider two different notions of what it means that two terms t and u (which may contain variables) are logically equivalent:

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations