Connexions

Sections
You are here: Home » Content » Relations and Logic: using relations

About: Relations and Logic: using relations

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

View the content: Relations and Logic: using relations

Metadata

Name: Relations and Logic: using relations
ID: m10724
Language: English (en)
Summary: We motivate the use of relations, as a way to encapsulate the information previously spread across a swath of propositional variables.
Subject: Mathematics and Statistics
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), 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: Ian Barland (ibarland@radford.edu), 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: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 2.25 (history)
First publication date: Jul 9, 2002 12:00 am -0500
Last revision to module: Jan 9, 2009 10:45 am -0600

Downloads

PDF: m10724_2.25.pdf PDF file, for viewing content offline and printing. Learn more.
EPUB: m10724_2.25.epub Electronic publication file, for viewing in handheld devices. Learn more.
XML: m10724_2.25.cnxml XML that defines the structure and contents of the module, minus any included media files. Can be reimported in the editing interface. Learn more.
Source Export ZIP: m10724_2.25.zip ZIP containing the module XML plus any included media files. Can be reimported in the editing interface. Learn more.
Offline ZIP: m10724_2.25_offline.zip An offline HTML copy of the content. Also includes XML, included media files, and other support files. Learn more.

Version History

Version: 2.25 Jan 9, 2009 10:45 am -0600 by John Greiner
Changes: 
Improved MathML
Version: 2.24 Jan 24, 2007 5:55 pm -0600 by John Greiner
Changes: 
Use "×"
Version: 2.23 Feb 7, 2006 1:26 pm -0600 by John Greiner
Changes: 
Minor wording changes, better formatting, more MathML.
Version: 2.22 Mar 10, 2005 4:18 pm -0600 by Ian Barland
Changes: 
Updated roles, metadata.
Version: 2.21 Aug 9, 2004 3:36 pm -0500 by Fuching Chi
Changes: 
final publish
Version: 2.20 Aug 3, 2004 11:23 am -0500 by Sarah Trowbridge
Changes: 
new name
Version: 2.19 Aug 2, 2004 11:43 am -0500 by Ian Barland
Changes: 
monday publish- so that everyone in the workgroup can publish this module
Version: 2.18 Aug 2, 2004 11:42 am -0500 by Sarah Trowbridge
Changes: 
reorganization
Version: 2.17 May 28, 2004 1:48 pm -0500 by Ian Barland
Changes: 
Added Bryan Cash as a maintainer.
Version: 2.16 May 14, 2004 2:22 pm -0500 by Ian Barland
Changes: 
Sarah added as maintainer
Version: 2.15 Mar 15, 2004 3:57 pm -0600 by Ian Barland
Changes: 
updated roles
Version: 2.14 Jan 26, 2004 5:15 pm -0600 by Ian Barland
Changes: 
v2.0.
Version: 2.13 Feb 3, 2003 12:00 am -0600 by (Unknown)
Changes: 
Added maintainer
Version: 2.12 Jan 22, 2003 12:00 am -0600 by (Unknown)
Changes: 
Sample text
Version: 2.11 Nov 11, 2002 12:00 am -0600 by (Unknown)
Changes: 
restructure partIII
Version: 2.10 Oct 25, 2002 12:00 am -0500 by (Unknown)
Changes: 
Sample text
Version: 2.9 Oct 10, 2002 12:00 am -0500 by (Unknown)
Changes: 
Sample text
Version: 2.8 Sep 16, 2002 12:00 am -0500 by (Unknown)
Changes: 
Sample text
Version: 2.7 Sep 10, 2002 12:00 am -0500 by (Unknown)
Changes: 
Sample text
Version: 2.6 Jul 31, 2002 12:00 am -0500 by (Unknown)
Changes: 
release 1
Version: 2.5 Jul 26, 2002 12:00 am -0500 by (Unknown)
Changes: 
upgraded to cnxml 0.4 (source too)
Version: 2.4 Jul 25, 2002 12:00 am -0500 by (Unknown)
Changes: 
fixed one typo
Version: 2.3 Jul 11, 2002 12:00 am -0500 by (Unknown)
Changes: 
updated author / maintainers
Version: 2.2 Jul 9, 2002 12:00 am -0500 by (Unknown)
Changes: 
fixed typos
Version: 2.1 Jul 9, 2002 12:00 am -0500 by (Unknown)
Changes: 
Sample text
Version: 2.0 Jul 9, 2002 12:00 am -0500 by (Unknown)
Changes: 
Added initial template for new module m10724

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: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
  • the title of the work: Relations and Logic: using relations
  • the Connexions URL where the work can be found: http://cnx.org/content/m10724/2.25/

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:

Barland, I.; Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Relations and Logic: using relations, Connexions Web site. http://cnx.org/content/m10724/2.25/, Jan 9, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Relations and Logic: using relations [Connexions Web site]. January 9, 2009. Available at: http://cnx.org/content/m10724/2.25/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 9). Relations and Logic: using relations. Retrieved from the Connexions Web site: http://cnx.org/content/m10724/2.25/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Relations and Logic: using relations." Connexions. January 9, 2009. http://cnx.org/content/m10724/2.25/.

Chicago Manual of Style (Note):

Ian Barland and others, "Relations and Logic: using relations," Connexions, January 9, 2009, http://cnx.org/content/m10724/2.25/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Relations and Logic: using relations. Connexions, January 9, 2009. http://cnx.org/content/m10724/2.25/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Relations and Logic: using relations. Connexions. 9 Jan. 2009 <http://cnx.org/content/m10724/2.25/>.