OpenStax CNX

Sections
You are here: Home » Content » Propositional Logic: soundness and completeness

About: Propositional Logic: soundness and completeness

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

View the content: Propositional Logic: soundness and completeness

Metadata

Name: Propositional Logic: soundness and completeness
ID: m12076
Language: English (en)
Summary: The soundness and completeness of a system.
Subject: Mathematics and Statistics
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: 1.10 (history)
First publication date: Jul 1, 2004 12:41 pm -0500
Last revision to module: Mar 9, 2009 2:32 pm -0500

Downloads

PDF: m12076_1.10.pdf PDF file, for viewing content offline and printing. Learn more.
XML: m12076_1.10.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: 1.10 Mar 9, 2009 2:32 pm -0500 by John Greiner
Changes:
Small wording changes.  Upgraded to CNXML 0.6.

Version: 1.9 Jan 7, 2009 12:12 pm -0600 by John Greiner
Changes:
Improved MathML

Version: 1.8 Feb 7, 2008 5:45 pm -0600 by John Greiner
Changes:
Proper MathML.

Version: 1.7 Nov 16, 2007 12:13 pm -0600 by John Greiner
Changes:
Fixed some wording.

Version: 1.6 Aug 9, 2007 9:29 am -0500 by Ian Barland
Changes:
(old changes that never got published?)

Version: 1.5 Mar 10, 2005 3:50 pm -0600 by Ian Barland
Changes:
Updated roles, metadata.

Version: 1.4 Aug 9, 2004 3:10 pm -0500 by Fuching Chi
Changes:
final publish

Version: 1.3 Aug 3, 2004 11:18 am -0500 by Sarah Trowbridge
Changes:
new name

Version: 1.2 Aug 2, 2004 11:23 am -0500 by Sarah Trowbridge
Changes:
reorganization

Version: 1.1 Jul 1, 2004 12:42 pm -0500 by Sarah Trowbridge
Changes:
created

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: Propositional Logic: soundness and completeness
  • the OpenStax-CNX URL where the work can be found: http://cnx.org/content/m12076/1.10/

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. Propositional Logic: soundness and completeness, OpenStax-CNX Web site. http://cnx.org/content/m12076/1.10/, Mar 9, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: soundness and completeness [OpenStax-CNX Web site]. March 9, 2009. Available at: http://cnx.org/content/m12076/1.10/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 9). Propositional Logic: soundness and completeness. Retrieved from the OpenStax-CNX Web site: http://cnx.org/content/m12076/1.10/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: soundness and completeness." OpenStax-CNX. March 9, 2009. http://cnx.org/content/m12076/1.10/.

Chicago Manual of Style (Note):

Ian Barland and others, "Propositional Logic: soundness and completeness," OpenStax-CNX, March 9, 2009, http://cnx.org/content/m12076/1.10/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Propositional Logic: soundness and completeness. OpenStax-CNX, March 9, 2009. http://cnx.org/content/m12076/1.10/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: soundness and completeness. OpenStax-CNX. 9 Mar. 2009 <http://cnx.org/content/m12076/1.10/>.