Connexions

Sections
You are here: Home » Content » Reference: first-order equivalences

About: Reference: first-order equivalences

Module by: John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen. E-mail the authors

View content

Metadata

Name: Reference: first-order equivalences
ID: m11045
Language: English (en)
Summary: Some equivalences for manipulation of first-order formulas.
Subject: Science and Technology
Keywords:
License: Creative Commons Attribution License CC-BY 1.0
Authors: John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Copyright Holders: John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Maintainers: John Greiner (greiner@cs.rice.edu), Ian Barland (ibarland@radford.edu)
Latest version: 2.18 (history)
First publication date: Feb 11, 2003 12:00 am US/Central
Last revision to module: Mar 24, 2009 3:40 pm GMT-5
Module XML: m11045_2.18.cnxml

Version History

Version: 2.18 Mar 24, 2009 3:40 pm GMT-5 by John Greiner
Changes: 
Improved MathML.  Upgraded to CNXML 0.6.
Version: 2.17 Jan 20, 2009 4:17 pm US/Central by John Greiner
Changes: 
Improved MathML.  Removed unnecessary hacks to get around former CNX display bugs.
Version: 2.16 Feb 7, 2008 2:55 pm US/Central by John Greiner
Changes: 
Fixed typos in equations.
Version: 2.15 Jan 31, 2008 2:59 pm US/Central by John Greiner
Changes: 
Improved layout.  Specified which distribution equivalences needed an empty domain.
Version: 2.14 Jan 31, 2007 2:50 pm US/Central by John Greiner
Changes: 
Reworded a sentence.
Version: 2.13 Feb 7, 2006 1:45 pm US/Central by John Greiner
Changes: 
Small wording changes
Version: 2.12 Mar 10, 2005 3:54 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 2.11 Mar 2, 2005 1:17 pm US/Central by Ian Barland
Changes: 
Added "renaming" explicitly; noted that some rules required non-empty-universe.
Version: 2.10 Aug 9, 2004 4:25 pm GMT-5 by Fuching Chi
Changes: 
final publish
Version: 2.9 Aug 9, 2004 11:46 am GMT-5 by Sarah Trowbridge
Changes: 
new look
Version: 2.8 Aug 3, 2004 11:41 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 2.7 Aug 2, 2004 11:38 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 2.6 May 28, 2004 1:47 pm GMT-5 by Ian Barland
Changes: 
Added Bryan Cash as a maintainer.
Version: 2.5 May 14, 2004 1:44 pm GMT-5 by Ian Barland
Changes: 
Sarah added as maintainer
Version: 2.4 Mar 15, 2004 3:52 pm US/Central by Ian Barland
Changes: 
updated roles
Version: 2.3 Feb 25, 2004 12:39 am US/Central by Ian Barland
Changes: 
Includes a note to cite which distr. law.
Version: 2.2 Mar 17, 2003 12:00 am US/Central by Ian Barland
Changes: 
added maintainer bih
Version: 2.1 Feb 13, 2003 12:00 am US/Central by Ian Barland
Changes: 
Sample text
Version: 2.0 Feb 11, 2003 12:00 am US/Central by Ian Barland
Changes: 
removed m:applying the quantifiers :-(

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
  • the title of the work: Reference: first-order equivalences
  • the Connexions URL where the work can be found: http://cnx.org/content/m11045/2.18/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Reference: first-order equivalences, Connexions Web site. http://cnx.org/content/m11045/2.18/, Mar 24, 2009.

American Medical Assocation (AMA) Manual of Style:

Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: first-order equivalences [Connexions Web site]. March 24, 2009. Available at: http://cnx.org/content/m11045/2.18/.

American Psychological Assocation (APA) Publication Manual:

Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 24). Reference: first-order equivalences. Retrieved from the Connexions Web site: http://cnx.org/content/m11045/2.18/

Chicago Manual of Style (Bibliography):

Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: first-order equivalences." Connexions. March 24, 2009. http://cnx.org/content/m11045/2.18/.

Chicago Manual of Style (Note):

John Greiner and others, "Reference: first-order equivalences," Connexions, March 24, 2009, http://cnx.org/content/m11045/2.18/.

Chicago Manual of Style (Reference, in Author-Date style):

Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Reference: first-order equivalences. Connexions, March 24, 2009. http://cnx.org/content/m11045/2.18/.

Modern Languages Association (MLA) Style Manual:

Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: first-order equivalences. Connexions. 24 Mar. 2009 <http://cnx.org/content/m11045/2.18/>.