About: First-Order Logic: inference rules
Metadata
| Name: | First-Order Logic: inference rules |
| ID: | m10774 |
| Language: | English (en) |
| Summary: | |
| Subject: | Science and Technology |
| Keywords: | first-order inference rules |
| 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.27 (history) |
| First publication date: | Jul 30, 2002 7:00 pm GMT-5 |
| Last revision to module: | Jan 9, 2009 10:39 am US/Central |
|
|
|
| Module XML: | m10774_2.27.cnxml |
Version History
| Version: | 2.27 Jan 9, 2009 10:39 am US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.26 Jan 7, 2009 12:29 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.25 Jan 31, 2008 3:01 pm US/Central by John Greiner |
| Changes: | Improved some MathML. |
|
|
|
| Version: | 2.24 Dec 7, 2007 10:58 am US/Central by John Greiner |
| Changes: | Minor wording fix. |
|
|
|
| Version: | 2.23 Nov 16, 2007 12:18 pm US/Central by John Greiner |
| Changes: | Fixed some wording. |
|
|
|
| Version: | 2.22 Jun 15, 2006 3:29 pm GMT-5 by Ian Barland |
| Changes: | Add "m:mtext" around hellip inside <subst>, and retreated on trying to get a greek letter inside a link (via our scheme scripts). |
|
|
|
| Version: | 2.21 Feb 9, 2006 2:38 pm US/Central by John Greiner |
| Changes: | Changed substitution notation. |
|
|
|
| Version: | 2.20 Feb 9, 2006 2:02 pm US/Central by John Greiner |
| Changes: | Added an example, some wording changes, improved formatting. |
|
|
|
| Version: | 2.19 Mar 9, 2005 8:33 pm US/Central by Ian Barland |
| Changes: | Added m:row around subst, so that proves had exactly two arguments. |
|
|
|
| Version: | 2.18 Mar 9, 2005 8:30 pm US/Central by Ian Barland |
| Changes: | Improved parenthesization. |
|
|
|
| Version: | 2.17 Mar 9, 2005 8:15 pm US/Central by Ian Barland |
| Changes: | Update roles; add an explicit section for each of the four new rules. |
|
|
|
| Version: | 2.16 Feb 11, 2005 2:01 am US/Central by Ian Barland |
| Changes: | updated def'n of "arbitrary" |
|
|
|
| Version: | 2.15 Aug 18, 2004 9:25 am GMT-5 by Bryan Cash |
| Changes: | Glancing at file, no changes. |
|
|
|
| Version: | 2.14 Aug 9, 2004 4:15 pm GMT-5 by Fuching Chi |
| Changes: | final publish |
|
|
|
| Version: | 2.13 Aug 3, 2004 11:12 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.12 Aug 2, 2004 11:25 am GMT-5 by Ian Barland |
| Changes: | monday publish- so that everyone in the workgroup can publish this module |
|
|
|
| Version: | 2.11 May 28, 2004 1:48 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.10 May 14, 2004 2:25 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.9 Mar 15, 2004 4:01 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.8 Feb 4, 2004 7:30 pm US/Central by Ian Barland |
| Changes: | udpated for 2004.spring |
|
|
|
| Version: | 2.7 Mar 20, 2003 12:00 am US/Central by Justin Garcia |
| Changes: | Sample text |
|
|
|
| Version: | 2.6 Feb 18, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Fix the names of "Exists-Elim", remove brackets in proof-as-table-justificaitons. |
|
|
|
| Version: | 2.5 Feb 18, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.4 Feb 11, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.3 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.2 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.1 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.0 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Added initial template for new module m10774 |
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: First-Order Logic: inference rules
- the Connexions URL where the work can be found: http://cnx.org/content/m10774/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. First-Order Logic: inference rules, Connexions Web site. http://cnx.org/content/m10774/2.27/, Jan 9, 2009.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. First-Order Logic: inference rules [Connexions Web site]. January 9, 2009. Available at: http://cnx.org/content/m10774/2.27/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 9). First-Order Logic: inference rules. Retrieved from the Connexions Web site: http://cnx.org/content/m10774/2.27/
Chicago Manual of Style (Bibliography):
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "First-Order Logic: inference rules." Connexions. January 9, 2009. http://cnx.org/content/m10774/2.27/.
Chicago Manual of Style (Note):
Ian Barland and others, "First-Order Logic: inference rules," Connexions, January 9, 2009, http://cnx.org/content/m10774/2.27/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. First-Order Logic: inference rules. Connexions, January 9, 2009. http://cnx.org/content/m10774/2.27/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. First-Order Logic: inference rules. Connexions. 9 Jan. 2009 <http://cnx.org/content/m10774/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), and is an Open Educational Resource.
Last edited by John Greiner on Jan 9, 2009 10:39 am US/Central.