About: Reference: propositional inference rules
Metadata
| Name: | Reference: propositional inference rules |
| ID: | m10529 |
| Language: | English (en) |
| Summary: | A set of inference rules for propositional logic |
| Subject: | Science and Technology |
| Keywords: | Elim, inference rule, Intro, propositional logic |
| 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: | 2.27 (history) |
| Created: | Mar 7, 2002 12:00 am US/Central |
| Revised: | Nov 16, 2007 12:06 pm US/Central |
Version History
| Version: | 2.27 Nov 16, 2007 12:06 pm US/Central by John Greiner |
| Changes: | Updated link. |
|
|
|
| Version: | 2.26 Aug 9, 2007 9:23 am GMT-5 by Ian Barland |
| Changes: | Fixed link to Beseme. |
|
|
|
| Version: | 2.25 Mar 10, 2005 4:10 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.24 Mar 3, 2005 4:41 pm US/Central by Ian Barland |
| Changes: | Clarify some line-breaks for Or-intro (and, RAA). Fix type in abstract. |
|
|
|
| Version: | 2.23 Aug 11, 2004 11:09 am GMT-5 by Sarah Trowbridge |
| Changes: | uploaded correct copy |
|
|
|
| Version: | 2.22 Aug 9, 2004 3:24 pm GMT-5 by Sarah Trowbridge |
| Changes: | updating tables |
|
|
|
| Version: | 2.21 Aug 3, 2004 11:49 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.20 Aug 2, 2004 11:41 am GMT-5 by Sarah Trowbridge |
| Changes: | reorganization |
|
|
|
| Version: | 2.19 May 28, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.18 May 14, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.17 Mar 15, 2004 3:54 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.16 Feb 25, 2004 12:33 am US/Central by Ian Barland |
| Changes: | tweaked a column heading |
|
|
|
| Version: | 2.15 Jan 20, 2004 9:22 am US/Central by Ian Barland |
| Changes: | Updated, replacing equiv with vDash Dashv, and getting rid for norIntro, norElim. |
|
|
|
| Version: | 2.14 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.13 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.12 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.11 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | mathml regression |
|
|
|
| Version: | 2.10 Oct 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.9 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.8 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.7 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.6 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | renamed, added abstract |
|
|
|
| Version: | 2.5 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | huh? |
|
|
|
| Version: | 2.4 Jun 24, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added peggy as maintainer |
|
|
|
| Version: | 2.3 Jun 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.2 Mar 25, 2002 12:00 am US/Central by (Unknown) |
| Changes: | maybe not even changed at all! |
|
|
|
| Version: | 2.1 Mar 15, 2002 12:00 am US/Central by (Unknown) |
| Changes: | first version |
|
|
|
| Version: | 2.0 Mar 7, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Added initial template for new module m10529 |
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, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
- the title of the work: Reference: propositional inference rules
- the Connexions URL where the work can be found: http://cnx.org/content/m10529/2.27/
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 inference rules, Connexions Web site. http://cnx.org/content/m10529/2.27/, Nov 16, 2007.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: propositional inference rules [Connexions Web site]. November 16, 2007. Available at: http://cnx.org/content/m10529/2.27/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2007, November 16). Reference: propositional inference rules. Retrieved from the Connexions Web site: http://cnx.org/content/m10529/2.27/
Chicago Manual of Style (Bibliography):
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: propositional inference rules." Connexions. November 16, 2007. http://cnx.org/content/m10529/2.27/.
Chicago Manual of Style (Note):
Ian Barland and others, "Reference: propositional inference rules," Connexions, November 16, 2007, http://cnx.org/content/m10529/2.27/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2007. Reference: propositional inference rules. Connexions, November 16, 2007. http://cnx.org/content/m10529/2.27/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: propositional inference rules. Connexions. 16 Nov. 2007 <http://cnx.org/content/m10529/2.27/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0).
Last edited by John Greiner on Nov 16, 2007 12:06 pm US/Central.