Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663011 | Journal of Applied Logic | 2012 | 19 Pages |
Abstract
There are currently no fewer than four dedicated logics for equality reasoning over nominal sets: nominal algebra, nominal equational logic, nominal equational logic with equality only, and permissive-nominal algebra.In this survey and research paper we present these logics side-by-side in a common notation, survey their similarities and differences, discuss their proof- and model-theories, and discuss in detail what the implications of those differences are for mathematical reasoning in each of them.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Murdoch J. Gabbay,