Search Results (2)

View
Selected filters:
  • Predicate
Relational Logic
Conditions of Use:
No Strings Attached
Rating

We generalize from having a mass of propositional variables to representing the ...

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.

Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
Relational Logic
Conditions of Use:
No Strings Attached
Rating

We generalize from having a mass of propositional variables to representing the ...

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.

Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland