2017 | OriginalPaper | Chapter

# 6. Equational Logic

Published in:
Designing Reliable Distributed Systems

## 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: