Connexions

Sections
You are here: Home » Content » Propositional Logic: subproofs

About: Propositional Logic: subproofs

Module by: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen

View content

Metadata

Name: Propositional Logic: subproofs
ID: m12077
Language: English (en)
Summary: Using subproofs, to show RAA or to aid in presentation.
Subject: Mathematics and Statistics, Science and Technology
Keywords:
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)
Version: 1.10 (history)
Created: Jul 1, 2004 12:43 pm GMT-5
Revised: Jan 26, 2007 1:53 pm US/Central

Version History

Version: 1.10 Jan 26, 2007 1:53 pm US/Central by John Greiner
Changes: 
Added examples.
Overhauled one example proof.
Improved XML layout.
Version: 1.9 Jan 24, 2007 5:52 pm US/Central by John Greiner
Changes: 
Fixed a couple typos.
Version: 1.8 Mar 22, 2006 2:38 pm US/Central by John Greiner
Changes: 
Minor fixes.
Version: 1.7 Jan 24, 2006 2:57 pm US/Central by John Greiner
Changes: 
Fix layout bugs.
Make justifications more consistent.
Version: 1.6 Jan 24, 2006 8:02 am US/Central by John Greiner
Changes: 
Minor changes.
Version: 1.5 Mar 10, 2005 3:49 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 1.4 Aug 9, 2004 3:14 pm GMT-5 by Fuching Chi
Changes: 
final publish
Version: 1.3 Aug 3, 2004 11:20 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 1.2 Aug 2, 2004 11:23 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.1 Jul 1, 2004 12:43 pm GMT-5 by Sarah Trowbridge
Changes: 
created

How to Reuse and Attribute This Content

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

  • authors' names
  • title of the work
  • and the Connexions URL where the work can be found

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.

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: subproofs, Connexions Web site. http://cnx.org/content/m12077/1.10/, Jan 26, 2007.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: subproofs [Connexions Web site]. January 26, 2007. Available at: http://cnx.org/content/m12077/1.10/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2007, January 26). Propositional Logic: subproofs. Retrieved from the Connexions Web site: http://cnx.org/content/m12077/1.10/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: subproofs." Connexions. January 26, 2007. http://cnx.org/content/m12077/1.10/.

Chicago Manual of Style (Note):

Ian Barland and others, "Propositional Logic: subproofs," Connexions, January 26, 2007, http://cnx.org/content/m12077/1.10/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2007. Propositional Logic: subproofs. Connexions, January 26, 2007. http://cnx.org/content/m12077/1.10/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: subproofs. Connexions. 26 Jan. 2007 <http://cnx.org/content/m12077/1.10/>.