OpenStax CNX

Sections
You are here: Home » Content » Reference: propositional equivalences

About: Reference: propositional equivalences

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

View the content: Reference: propositional equivalences

Metadata

Name: Reference: propositional equivalences
ID: m10540
Language: English (en)
Summary: (Blank Abstract)
Subject: Science and Technology
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: Mar 18, 2002 12:00 am +0000
Last revision to module: Jan 13, 2009 9:54 am +0000

Downloads

PDF: m10540_2.25.pdf PDF file, for viewing content offline and printing. Learn more.
XML: m10540_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.

Version History

Version: 2.25 Jan 13, 2009 9:54 am +0000 by John Greiner
Changes:
Fixed typo.

Version: 2.24 Jan 7, 2009 12:08 pm +0000 by John Greiner
Changes:
Improved MathML.

Version: 2.23 Feb 6, 2008 6:57 pm +0000 by John Greiner
Changes:
Proper MathML.

Version: 2.22 Mar 10, 2005 4:11 pm +0000 by Ian Barland
Changes:
Updated roles, metadata.

Version: 2.21 Aug 9, 2004 4:34 pm +0000 by Fuching Chi
Changes:
final publish

Version: 2.20 Aug 9, 2004 3:21 pm +0000 by Sarah Trowbridge
Changes:
updating tables

Version: 2.19 Aug 3, 2004 11:49 am +0000 by Sarah Trowbridge
Changes:
new name

Version: 2.18 Aug 2, 2004 11:40 am +0000 by Sarah Trowbridge
Changes:
reorganization

Version: 2.17 May 28, 2004 1:47 pm +0000 by Ian Barland
Changes:
Added Bryan Cash as a maintainer.

Version: 2.16 May 14, 2004 1:20 pm +0000 by Ian Barland
Changes:
Sarah added as maintainer

Version: 2.15 Mar 15, 2004 3:49 pm +0000 by Ian Barland
Changes:
updated roles

Version: 2.14 Feb 25, 2004 12:36 am +0000 by Ian Barland
Changes:
none?

Version: 2.13 Jan 20, 2004 10:08 am +0000 by Ian Barland
Changes:
Revert to equiv instead of vDash Dashv, sigh -- mozilla displayed fine but crashed upon printing; IE wouldn't display Dashv.

Version: 2.12 Jan 20, 2004 9:17 am +0000 by Ian Barland
Changes:
Update -- use vDash Dashv, etc.

Version: 2.11 Feb 3, 2003 12:00 am +0000 by (Unknown)
Changes:
Added maintainer

Version: 2.10 Jan 30, 2003 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.9 Jan 30, 2003 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.8 Jan 30, 2003 12:00 am +0000 by (Unknown)
Changes:
regressed away from mathml

Version: 2.7 Jan 22, 2003 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.6 Sep 20, 2002 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.5 Sep 17, 2002 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.4 Sep 10, 2002 12:00 am +0000 by (Unknown)
Changes:
Sample text

Version: 2.3 Jul 31, 2002 12:00 am +0000 by (Unknown)
Changes:
release 1

Version: 2.2 Jun 24, 2002 12:00 am +0000 by (Unknown)
Changes:
added peggy as maintainer

Version: 2.1 Mar 19, 2002 12:00 am +0000 by (Unknown)
Changes:
v.1

Version: 2.0 Mar 18, 2002 12:00 am +0000 by (Unknown)
Changes:
Added initial template for new module m10540

How to Reuse and Attribute This Content

If you derive a copy of this content using a OpenStax-CNX 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: Reference: propositional equivalences
  • the OpenStax-CNX URL where the work can be found: http://cnx.org/content/m10540/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. Reference: propositional equivalences, OpenStax-CNX Web site. http://cnx.org/content/m10540/2.25/, Jan 13, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: propositional equivalences [OpenStax-CNX Web site]. January 13, 2009. Available at: http://cnx.org/content/m10540/2.25/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 13). Reference: propositional equivalences. Retrieved from the OpenStax-CNX Web site: http://cnx.org/content/m10540/2.25/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: propositional equivalences." OpenStax-CNX. January 13, 2009. http://cnx.org/content/m10540/2.25/.

Chicago Manual of Style (Note):

Ian Barland and others, "Reference: propositional equivalences," OpenStax-CNX, January 13, 2009, http://cnx.org/content/m10540/2.25/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Reference: propositional equivalences. OpenStax-CNX, January 13, 2009. http://cnx.org/content/m10540/2.25/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: propositional equivalences. OpenStax-CNX. 13 Jan. 2009 <http://cnx.org/content/m10540/2.25/>.