Relational Logic

  • 2
  • 0
  • 5
Author:
Subject:
Mathematics and Statistics, Science and Technology
Provider:
Rice University
Provider Set:
Connexions
Level:
Post-secondary
Language:
English
Material Type:
Readings, Syllabi
Media Format:
Text/HTML
Abstract:

We generalize from having a mass of propositional variables to representing the same information with relations. This prompts a few changes in notation and rules of inference.

Comments:

*