Connexions

Sections
You are here: Home » Content » Relational Logic

About: Relational Logic

Module by: Ian Barland. E-mail the author

View content

Metadata

Name: Relational Logic
ID: m10396
Language: English (en)
Summary: We generalize from having a mass of propositional variables to representing the same information with relations. This prompts a few changes in notation and rules of inference.
Subject: Mathematics and Statistics, Science and Technology
Keywords: function, predicate, proof, relation, waterworld
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)
Copyright Holders: Ian Barland (ibarland@radford.edu)
Maintainers: Ian Barland (ibarland@radford.edu), Peggy Fidelman (peggy@rice.edu)
Latest version: 2.7 (history)
First publication date: Nov 13, 2001 12:00 am US/Central
Last revision to module: May 24, 2005 9:15 pm GMT-5
Module XML: m10396_2.7.cnxml

Version History

Version: 2.7 May 24, 2005 9:15 pm GMT-5 by Charlet Reedstrom
Changes: 
update to cnxml-0.5
Version: 2.6 Jul 4, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
change the version from 0.3.5 to 0.4
Liqun
Version: 2.5 Jun 24, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added peggy as maintainer
Version: 2.4 Nov 21, 2001 12:00 am US/Central by (Unknown)
Changes: 
now using mathml for connectives
Version: 2.3 Nov 21, 2001 12:00 am US/Central by (Unknown)
Changes: 
The first attempt at a draft.
(Moshe leaves for cypress today)
Version: 2.2 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
first time around.
Version: 2.1 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
update external keywords, abstract.
Version: 2.0 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
Added initial template for new module m10396

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
  • the title of the work: Relational Logic
  • the Connexions URL where the work can be found: http://cnx.org/content/m10396/2.7/

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. Relational Logic, Connexions Web site. http://cnx.org/content/m10396/2.7/, May 24, 2005.

American Medical Assocation (AMA) Manual of Style:

Barland I. Relational Logic [Connexions Web site]. May 24, 2005. Available at: http://cnx.org/content/m10396/2.7/.

American Psychological Assocation (APA) Publication Manual:

Barland, I. (2005, May 24). Relational Logic. Retrieved from the Connexions Web site: http://cnx.org/content/m10396/2.7/

Chicago Manual of Style (Bibliography):

Barland, Ian. "Relational Logic." Connexions. May 24, 2005. http://cnx.org/content/m10396/2.7/.

Chicago Manual of Style (Note):

Ian Barland, "Relational Logic," Connexions, May 24, 2005, http://cnx.org/content/m10396/2.7/.

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

Barland, I. 2005. Relational Logic. Connexions, May 24, 2005. http://cnx.org/content/m10396/2.7/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian. Relational Logic. Connexions. 24 May 2005 <http://cnx.org/content/m10396/2.7/>.