Advertisement

Equational Logic

  • Peter Csaba Ölveczky
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