Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ENTCS
2007

favoriteEmaildiscussreport

99views more ENTCS 2007»

Nominal Equational Logic

13 years 4 months ago

Nominal Equational Logic

Download www.cl.cam.ac.uk

This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is an extension of ordinary equational logic with assertions about the freshness of names. It is shown to be both sound and complete for the support interpretation of freshness and equality provided by the Gabbay-Pitts nominal sets model of names, binding and α-conversion.

Ranald A. Clouston, Andrew M. Pitts

Real-time Traffic

ENTCS 2007 | Equational Logic | Nominal Equational Logic | Ordinary Equational Logic |

claim paper

Related Content

» Equational Logics

» Nominal Unification from a HigherOrder Perspective

» Comparative Similarity Tree Automata and Diophantine Equations

» Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

» A Simpler Proof Theory for Nominal Logic

» Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

» Matching and alphaequivalence check for nominal terms

» Hierarchical Nominal Terms and Their Theory of Rewriting

» Nominal Schemas for Integrating Rules and Description Logics

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Ranald A. Clouston, Andrew M. Pitts

Comments (0)