| Name: | Propositional Logic: subproofs |
| ID: | m12077 |
| Language: | English (en) |
| Summary: | |
| Subject: | Mathematics and Statistics |
| Keywords: | |
| 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.12 (history) |
| First publication date: | Jul 1, 2004 12:43 pm GMT-5 |
| Last revision to module: | Mar 10, 2009 4:28 pm GMT-5 |
|
|
|
| Module XML: | m12077_1.12.cnxml |
| Version: | 1.12 Mar 10, 2009 4:28 pm GMT-5 by John Greiner |
| Changes: | Minor wording and formatting changes. Upgraded to CNXML 0.6. |
|
|
|
| Version: | 1.11 Jan 7, 2009 10:38 am US/Central by John Greiner |
| Changes: | Improved MathML. |
|
|
|
| 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 |
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
See the citation section below for examples you can copy.
The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:
Barland, I.; Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Propositional Logic: subproofs, Connexions Web site. http://cnx.org/content/m12077/1.12/, Mar 10, 2009.
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: subproofs [Connexions Web site]. March 10, 2009. Available at: http://cnx.org/content/m12077/1.12/.
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 10). Propositional Logic: subproofs. Retrieved from the Connexions Web site: http://cnx.org/content/m12077/1.12/
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: subproofs." Connexions. March 10, 2009. http://cnx.org/content/m12077/1.12/.
Ian Barland and others, "Propositional Logic: subproofs," Connexions, March 10, 2009, http://cnx.org/content/m12077/1.12/.
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Propositional Logic: subproofs. Connexions, March 10, 2009. http://cnx.org/content/m12077/1.12/.
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: subproofs. Connexions. 10 Mar. 2009 <http://cnx.org/content/m12077/1.12/>.